Symbolic Methods Applied to Formal Verification and Synthesis in Embedded Systems Design
- Author
- Karsten Strehl
- Language
- English
- Year
- 2000
- Page
- 168
- ISBN
- 3826571932,9783826571930
- File Type
- pdf
- File Size
- 933.4 KiB
How to Download?!!!
Just click on START button on Telegram Bot