Limit Search Results
Author
Language
Format
Material Type
Subject
Switch to list view
Switch to thumbnail view
Select an Action
17 Results Found Subscribe to search results
000000000000MAIN
Print
1. 
Cover image for Principles of cyber-physical systems
2. 
Cover image for Formal and practical aspects of autonomic computing and networking : specification, development, and verification
3. 
Cover image for Communicating embedded systems : software and design : formal methods
4. 
Cover image for Digital system verification : a combined formal methods and simulation framework
5. 
Cover image for Practical UML statecharts in C/C++ : event-driven programming for embedded systems
6. 
Cover image for Modeling and verification of real-time systems
7. 
Cover image for Design patterns formalization techniques
8. 
Cover image for Software specification methods
9. 
Cover image for A pragmatic introduction to the finite element method for thermal and stress analysis
10. 
Cover image for Modern formal methods and applications
11. 
Cover image for Agent technology from a formal perspective
12. 
Cover image for Validated designs for object-oriented systems