Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: Runtime Verification: The Application Perspective
You can manage bookmarks using lists, please log in to your user account for this.
Media type:
E-Article
Title:
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: Runtime Verification: The Application Perspective
Contributor:
Falcone, Yliès;
Zuck, Lenore D.
Published:
Springer Berlin Heidelberg, 2012
Published in:
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change (2012), Seite 284-291