Formal analysis for dependability properties: the time-triggered architecture example Conference Paper

authors

Pfeifer, Holger

publication date

November 14, 2002

has subject area

published in

https://forschungsatlas.fid-bau.de/individual/ Geographic Location

Digital Object Identifier (DOI)

https://doi.org/10.1109/etfa.2001.996387