Integrating Formal Verification Into the Model-based Development of Adaptive Embedded Systems
0
0
Author Description
Page Count:
276
Publication Date:
2008-01-01
ISBN-10:
389963862X
ISBN-13:
9783899638622
Community Tags
Reader Comments
Share Your Thoughts
No comments yet. Be the first to share your thoughts!