Modular Formal Analysis of the Central Guardian in the Time-Triggered Architecture Chapter

authors

Pfeifer, Holger

publication date

January 1, 2004

has subject area

published in

Springer eBooks

Digital Object Identifier (DOI)

https://doi.org/10.1007/978-3-540-30138-7_21

start page

240

end page

253