![](/img/cover-not-exists.png)
A survey of formal verification methods and tools for embedded and real-time systems
Cheng, Albert Mo KimVolume:
2
Year:
2006
Language:
english
Journal:
International Journal of Embedded Systems
DOI:
10.1504/ijes.2006.014854
File:
PDF, 601 KB
english, 2006