Name: Integrating Formal Verification Into the Model-based Development of Adaptive Embedded Systems
Author: Ina Schaefer
ISBN: 9783899638622

Integrating Formal Verification Into the Model-based Development of Adaptive Embedded Systems

Ina Schaefer

0

Page Count:
276

Publication Date:
2008-01-01

Community Tags

Reader Comments

Share Your Thoughts

No comments yet. Be the first to share your thoughts!