Eine verläßliche Plattform zur Ausführung zertifizierbarer Echtzeitprogramme

Wolfgang A. Halang. Eine verläßliche Plattform zur Ausführung zertifizierbarer Echtzeitprogramme. In Peter Holleczek, Birgit Vogel-Heuser, editors, Sicherheit und Verfügbarkeit in Echtzeit- und Automatisierungssystemen - PEARL 2002, Fachtagung der GI-Fachgruppe 4.4.2 Echtzeitprogrammierung, Boppard, 28./29. November 2002. Informatik Aktuell, pages 129-138, Springer, 2002. [doi]

@inproceedings{Halang02,
  title = {Eine verläßliche Plattform zur Ausführung zertifizierbarer Echtzeitprogramme},
  author = {Wolfgang A. Halang},
  year = {2002},
  doi = {10.1007/978-3-642-55713-2_14},
  url = {http://dx.doi.org/10.1007/978-3-642-55713-2_14},
  researchr = {https://researchr.org/publication/Halang02},
  cites = {0},
  citedby = {0},
  pages = {129-138},
  booktitle = {Sicherheit und Verfügbarkeit in Echtzeit- und Automatisierungssystemen - PEARL 2002, Fachtagung der GI-Fachgruppe 4.4.2 Echtzeitprogrammierung, Boppard, 28./29. November 2002},
  editor = {Peter Holleczek and Birgit Vogel-Heuser},
  series = {Informatik Aktuell},
  publisher = {Springer},
  isbn = {3-540-44332-0},
}