Formal verification of control software: A case study

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationInnovations in Applied Artificial Intelligence
EditorsMoonis Ali
Place of PublicationBerlin [u.a.]
PublisherSpringer
Pages783-788
Volume3533
ISBN (Print)3-540-26551-1
DOIs
Publication statusPublished - 2005
EventInternational Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems - Bari, Italy
Duration: 22 Jun 200524 Jun 2005

Publication series

NameLecture notes in computer science : Lecture notes in artificial intelligence
PublisherSpringer

Conference

ConferenceInternational Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems
CountryItaly
CityBari
Period22/06/0524/06/05

Treatment code (Nähere Zuordnung)

  • Experimental

Cite this