Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp:
E-Artikel
Titel:
Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies: Timing Constraints: Theory Meets Practice
Beteiligte:
Lisper, Björn;
Nordlander, Johan;
Quinton, Sophie
Erschienen:
Springer Berlin Heidelberg, 2012
Erschienen in:Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies