Formal Modeling and Verification of Safety-Critical...

IEEE Software 2009 Vol. 26; Iss. 3

Formal Modeling and Verification of Safety-Critical Software

Junbeom Yoo, Eunkyoung Jee, Sungdeok Cha
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
26
Year:
2009
Language:
english
DOI:
10.1109/ms.2009.67
File:
PDF, 2.49 MB
english, 2009
Conversion to is in progress
Conversion to is failed