Cyberphysical System Design From An Architecture Analysis Viewpoint Communications Of Nii Shonan Meetings
Shin Nakajima
Resumo
Ver tudo
Cyberphysical System Design From An Architecture Analysis Viewpoint Communications Of Nii Shonan Meetings
1 Virtual Prototyping of Embedded Systems: Speed and Accuracy Tradeoffs.- 2 Model-Based Design And Automated Validation Of ARINC653 Architectures using the AADL.- 3 Formal Semantics of Behavior Specifications in the Architecture Analysis and Design Language Standard.- 4 MARTE for CPS and CPSoS.- 5 Combined Model Checking and Testing Create Confidence A Case on Commercial Automotive Operating System.- 6 Formal Methods...
1 Virtual Prototyping of Embedded Systems: Speed and Accuracy Tradeoffs.- 2 Model-Based Design And Automated Validation Of ARINC653 Architectures using the AADL.- 3 Formal Semantics of Behavior Specifications in the Architecture Analysis and Design Language Standard.- 4 MARTE for CPS and CPSoS.- 5 Combined Model Checking and Testing Create Confidence A Case on Commercial Automotive Operating System.- 6 Formal Methods...
Cyberphysical System Design From An Architecture Analysis...
Resumo
Cyberphysical System Design From An Architecture Analysis Viewpoint Communications Of Nii Shonan Meetings
1 Virtual Prototyping of Embedded Systems: Speed and Accuracy Tradeoffs.- 2 Model-Based Design And Automated Validation Of ARINC653 Architectures using the AADL.- 3 Formal Semantics of Behavior Specifications in the Architecture Analysis and Design Language Standard.- 4 MARTE for CPS and CPSoS.- 5 Combined Model Checking and Testing Create Confidence A Case on Commercial Automotive Operating System.- 6 Formal Methods for Aerospace Systems.
Nº de Páginas:
Encadernação: Capa Dura / Hardback
Tema: Software Engineering
1 Virtual Prototyping of Embedded Systems: Speed and Accuracy Tradeoffs.- 2 Model-Based Design And Automated Validation Of ARINC653 Architectures using the AADL.- 3 Formal Semantics of Behavior Specifications in the Architecture Analysis and Design Language Standard.- 4 MARTE for CPS and CPSoS.- 5 Combined Model Checking and Testing Create Confidence A Case on Commercial Automotive Operating System.- 6 Formal Methods for Aerospace Systems.
Nº de Páginas:
Encadernação: Capa Dura / Hardback
Tema: Software Engineering
Publicidade
Avaliações dos nossos clientes
Cyberphysical System Design From An Architecture Analysis Viewpoint Communications Of Nii Shonan Meetings
Sê o primeiro a dar
a tua opinião sobre este produto
Características
- Editora
-
Springer
- Idiomas
-
Inglês
- Data de lançamento
-
18/05/2017
- Peso
-
520,0
- Colecção
-
Automatic control engineering
- Série/Edição Limitada
-
1st ed. 2017
- EAN
-
9789811044359
Publicidade
Publicidade