Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: The RERS Grey-Box Challenge 2012: Analysis of Event-Condition-Action Systems

Media type: E-Article
Title: Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: The RERS Grey-Box Challenge 2012: Analysis of Event-Condition-Action Systems
Contributor: Howar, Falk; Isberner, Malte; Merten, Maik; Steffen, Bernhard; Beyer, Dirk
imprint: Springer Berlin Heidelberg, 2012
Published in: Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change
Language: Not determined
DOI: 10.1007/978-3-642-34026-0_45
ISSN: 0302-9743; 1611-3349
Origination:
Footnote:

Search in field: