DMCA

Modular formal analysis of the central guardian in the time-triggered architecture (2004)

by Holger Pfeifer , Friedrich W. Von Henke
Venue:PROC. OF THE 23RD INTERNATIONAL CONFERENCE ON COMPUTER SAFETY, RELIABILITY, AND SECURITY (SAFECOMP), VOLUME 3219 OF LECTURE NOTES IN COMPUTER SCIENCE
Citations:2 - 1 self