Architecture Based Specification and Verification of Embedded Software Systems (Work in Progress) Chapter

authors

Broy, Manfred

publication date

January 1, 2008

has subject area

published in

Springer eBooks

Digital Object Identifier (DOI)

https://doi.org/10.1007/978-3-540-88479-8_1

start page

1

end page

13