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 KonferenzbandBegutachtung

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 Juni 200524 Juni 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
Land/GebietItalien
OrtBari
Zeitraum22/06/0524/06/05

Treatment code (Nähere Zuordnung)

  • Experimental
  • EU - Prosyd - Property-Based System Design

    Pill, I. H., Staber, S. S., Griesmayer, A., Jobstmann, B. & Bloem, R.

    1/01/0431/12/06

    Projekt: Forschungsprojekt

Dieses zitieren