Kognitive Analyse Formaler Sicherheitskritischer Steuerungssysteme auf Basiseines integrierten Mensch-Maschine-Modells

Andreas Lüdtke. Kognitive Analyse Formaler Sicherheitskritischer Steuerungssysteme auf Basiseines integrierten Mensch-Maschine-Modells. In Dorothea Wagner, editor, Ausgezeichnete Informatikdissertationen 2004. Volume D-5 of LNI, pages 115-124, GI, 2004. [doi]

@inproceedings{Ludtke04,
  title = {Kognitive Analyse Formaler Sicherheitskritischer Steuerungssysteme auf Basiseines integrierten Mensch-Maschine-Modells},
  author = {Andreas Lüdtke},
  year = {2004},
  url = {http://subs.emis.de/LNI/Dissertation/Dissertation5/article38.html},
  researchr = {https://researchr.org/publication/Ludtke04},
  cites = {0},
  citedby = {0},
  pages = {115-124},
  booktitle = {Ausgezeichnete Informatikdissertationen 2004},
  editor = {Dorothea Wagner},
  volume = {D-5},
  series = {LNI},
  publisher = {GI},
  isbn = {3-88579-409-8},
}