ARTIE: A Proven Correct Architecture for Safety-Critical Applications Chapter

authors

A. Halang, Wolfgang

publication date

January 1, 1997

has subject area

published in

Springer eBooks

Digital Object Identifier (DOI)

https://doi.org/10.1007/978-1-4471-0921-1_28

start page

452

end page

460