@incollection{SPESXT2016h,
Author = {Oehlerking, Jens AND Strathmann, Thomas},
Title = {Verification of Systems in Physical Contexts},

Year = {2016},
Pages = {105-117},
Editor = {Pohl, Klaus and Broy, Manfred and Daembkes, Heinrich and Hönninger, Harald},
Publisher = {Springer},
Booktitle = {Advanced Model-Based Engineering of Embedded Systems},
Doi = {10.1007/978-3-319-48003-9_7},
Url = {http://dx.doi.org/10.1007/978-3-319-48003-9_7},
type = {incollection},
note = {One defining characteristic of embedded software systems is the tight interaction with the context of the system, which gives rise to real-time constraints for the software. In this chapter, we focus on one relevant class of software: systems interacting },
Abstract = {One defining characteristic of embedded software systems is the tight interaction with the context of the system, which gives rise to real-time constraints for the software. In this chapter, we focus on one relevant class of software: systems interacting with a physical context.}
}
@COMMENT{Bibtex file generated on }