Log In
Or create an account ->
Imperial Library
Home
About
News
Upload
Forum
Help
Login/SignUp
Index
Cover
Frontmatter
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
← Prev
Back
Next →
← Prev
Back
Next →