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

Dieses Objekt wird bereitgestellt von:
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

Ähnliche Objekte (12)