Formal verification of control software: A case study

Andreas Griesmayer, Roderick Paul Bloem, Martin Hautzendorfer, Franz Wotawa

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem Konferenzband

Originalspracheenglisch
TitelInnovations in Applied Artificial Intelligence
Redakteure/-innenMoonis Ali
ErscheinungsortBerlin [u.a.]
Herausgeber (Verlag)Springer
Seiten783-788
Band3533
ISBN (Print)3-540-26551-1
DOIs
PublikationsstatusVeröffentlicht - 2005
VeranstaltungInternational Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems - Bari, Italien
Dauer: 22 Jun 200524 Jun 2005

Publikationsreihe

NameLecture notes in computer science : Lecture notes in artificial intelligence
Herausgeber (Verlag)Springer

Konferenz

KonferenzInternational Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems
LandItalien
OrtBari
Zeitraum22/06/0524/06/05

Treatment code (Nähere Zuordnung)

  • Experimental

Dieses zitieren