Holger Pfeifer, Friedrich W. von Henke. Modular formal analysis of the central guardian in the Time-Triggered Architecture. Rel. Eng. & Sys. Safety, 92(11):1538-1550, 2007. [doi]
No references recorded for this publication.
No citations of this publication recorded.