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 contributionResearchpeer-review

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

Griesmayer, A., Bloem, R. P., Hautzendorfer, M., & Wotawa, F. (2005). Formal verification of control software: A case study. In M. Ali (Ed.), Innovations in Applied Artificial Intelligence (Vol. 3533, pp. 783-788). (Lecture notes in computer science : Lecture notes in artificial intelligence). Berlin [u.a.]: Springer. https://doi.org/10.1007/11504894_108

Formal verification of control software: A case study. / Griesmayer, Andreas; Bloem, Roderick Paul; Hautzendorfer, Martin; Wotawa, Franz.

Innovations in Applied Artificial Intelligence. ed. / Moonis Ali. Vol. 3533 Berlin [u.a.] : Springer, 2005. p. 783-788 (Lecture notes in computer science : Lecture notes in artificial intelligence).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Griesmayer, A, Bloem, RP, Hautzendorfer, M & Wotawa, F 2005, Formal verification of control software: A case study. in M Ali (ed.), Innovations in Applied Artificial Intelligence. vol. 3533, Lecture notes in computer science : Lecture notes in artificial intelligence, Springer, Berlin [u.a.], pp. 783-788, International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, Bari, Italy, 22/06/05. https://doi.org/10.1007/11504894_108
Griesmayer A, Bloem RP, Hautzendorfer M, Wotawa F. Formal verification of control software: A case study. In Ali M, editor, Innovations in Applied Artificial Intelligence. Vol. 3533. Berlin [u.a.]: Springer. 2005. p. 783-788. (Lecture notes in computer science : Lecture notes in artificial intelligence). https://doi.org/10.1007/11504894_108
Griesmayer, Andreas ; Bloem, Roderick Paul ; Hautzendorfer, Martin ; Wotawa, Franz. / Formal verification of control software: A case study. Innovations in Applied Artificial Intelligence. editor / Moonis Ali. Vol. 3533 Berlin [u.a.] : Springer, 2005. pp. 783-788 (Lecture notes in computer science : Lecture notes in artificial intelligence).
@inproceedings{fbf810f16c994fb88f2b27e7d1cb76ca,
title = "Formal verification of control software: A case study",
author = "Andreas Griesmayer and Bloem, {Roderick Paul} and Martin Hautzendorfer and Franz Wotawa",
year = "2005",
doi = "10.1007/11504894_108",
language = "English",
isbn = "3-540-26551-1",
volume = "3533",
series = "Lecture notes in computer science : Lecture notes in artificial intelligence",
publisher = "Springer",
pages = "783--788",
editor = "Moonis Ali",
booktitle = "Innovations in Applied Artificial Intelligence",

}

TY - GEN

T1 - Formal verification of control software: A case study

AU - Griesmayer, Andreas

AU - Bloem, Roderick Paul

AU - Hautzendorfer, Martin

AU - Wotawa, Franz

PY - 2005

Y1 - 2005

U2 - 10.1007/11504894_108

DO - 10.1007/11504894_108

M3 - Conference contribution

SN - 3-540-26551-1

VL - 3533

T3 - Lecture notes in computer science : Lecture notes in artificial intelligence

SP - 783

EP - 788

BT - Innovations in Applied Artificial Intelligence

A2 - Ali, Moonis

PB - Springer

CY - Berlin [u.a.]

ER -