Login / Signup
Model-Based System Verification: A Formal Framework for Relating Analyses, Requirements, and Tests.
Aleksandr A. Kerzhner
Christiaan J. J. Paredis
Published in:
MoDELS (Workshops) (2010)
Keyphrases
</>
lightweight
main contribution
real time
case study
formal model
conceptual framework
data mining
metadata
software engineering
software architecture
meta level