Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taip… - SLUB Dresden

Media type: E-Book; Conference Proceedings
Title: Automated Technology for Verification and Analysis : Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. Proceedings
Contributor: Wang, Farn [Author]
Published: Berlin, Heidelberg: Springer Berlin Heidelberg, 2004
Published in: Lecture notes in computer science ; 3299
Bücher
Extent: Online-Ressource
Language: English
DOI: 10.1007/b102065
ISBN: 9783540236108
Identifier:

RVK notation: SS 4800 : Lecture notes in computer science
Keywords: Systementwurf > Formale Methode > Verifikation
Formale Methode > Verifikation > Model Checking
Softwareentwicklung > Hardwareentwurf > Verifikation > Model Checking
Entwurfsautomation > Model Checking
Origination:
Footnote:

Search in field: