Login / Signup

Introducing the modeling and verification process in SysML.

Marcos Vinicius LinharesRômulo Silva de OliveiraJean-Marie FarinesFrançois Vernadat
Published in: ETFA (2007)
Keyphrases
  • formal methods
  • real time
  • machine learning
  • model checking
  • development process
  • artificial intelligence
  • computer vision
  • image processing
  • website
  • design process
  • modeling language
  • modeling framework
  • colored petri nets