Modular formal analysis of the central guardian in the Time-Triggered Architecture

Erstveröffentlichung
2007
Authors
Pfeifer, Holger
von Henke, Friedrich W.
Beitrag zu einer Konferenz


Published in
Reliability Engineering & System Safety ; 92 (2007), 11. - S. 1538-1550. - ISSN 0951-8320. - eISSN 1879-0836
Link to publication
https://dx.doi.org/10.1016/j.ress.2006.10.006
Faculties
Fakultät für Ingenieurwissenschaften, Informatik und Psychologie
Institutions
Institut für Künstliche Intelligenz
Conference
23rd International Conference on Computer Safety, Reliability, and Security (SAFECOMP 2004), 2004-09-21 - 2004-09-24, Potsdam
Subject headings
[DDC subject group]: DDC 610 / Medicine & health | DDC 620 / Engineering & allied operations
Metadata
Show full item record