Konferenzschrift | Kongress
Automated technology for verification and analysis : second international conference : proceedings
This book constitutes the refereed proceedings of the Second International Conference on Automated Technology for Verificaton and Analysis, ATVA 2004, held in Taipei, Taiwan in October/November 2004. The 24 revised full papers presented together with abstracts of 6 invited presentations and 7 special track papers were carefully reviewed and selected from 69 submissions. Among the topics addressed are model-checking theory, theorem-proving theory, state-space reduction techniques, languages in automated verification, parametric analysis, optimization, formal performance analysis, real-time systems, embedded systems, infinite-state systems, Petri nets, UML, synthesis, and tools
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540236108
3540236104
- Maße
-
24 cm
- Umfang
-
XII, 506 S.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
Literaturangaben
- Erschienen in
-
Lecture notes in computer science ; Vol. 3299
- Klassifikation
-
Informatik
- Schlagwort
-
Systementwurf
Formale Methode
Verifikation
Formale Methode
Verifikation
Model Checking
Softwareentwicklung
Hardwareentwurf
Verifikation
Model Checking
Entwurfsautomation
Model Checking
- Ereignis
-
Veröffentlichung
- (wo)
-
Berlin, Heidelberg, New York
- (wer)
-
Springer
- (wann)
-
2004
- Beteiligte Personen und Organisationen
-
Wang, Farn
ATVA (2 : 2004 : Taipeh)
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 14:18 MESZ
Datenpartner
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Konferenzschrift
- Kongress
Beteiligte
- Wang, Farn
- ATVA (2 : 2004 : Taipeh)
- Springer
Entstanden
- 2004