• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Model-Based System Verification: A Formal Framework for Relating Analyses, Requirements, and Tests.

Aleksandr A. KerzhnerChristiaan 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