An edition of Automated Technology For Verification And Analysis 7th International Symposium Atva 2009 Macao China October 1416 2009 Proceedings (2009)
Automated Technology For Verification And Analysis 7th International Symposium Atva 2009 Macao China October 1416 2009 Proceedings
By Zhiming Liu
0 (0 Ratings)
0 Want to read0 Currently reading0 Have read
0 Want to read0 Currently reading0 Have read
Publish Date
2009
Publisher
Springer
Language
-
Pages
-
Description:
subjects: Logic design, Computer science, Software engineering, Computer software, Automatic theorem proving, Congresses, Formale Methode, Kongress, Verifikation, Model Checking, Softwareentwicklung, Hardwareentwurf, Systementwurf, Systemanalyse, Zeitbehafteter Automat, Eingebettetes System, Hybrides System