Sign in

Contract-based modeling and verification of timed safety requirements within SysML.

Iulia DragomirIulian OberChristian Percebois
Published in: Softw. Syst. Model. (2017)
Keyphrases
  • safety analysis
  • colored petri nets
  • modeling language
  • formal methods
  • database
  • petri net
  • functional requirements
  • databases
  • search engine
  • low cost
  • user requirements
  • control system
  • model checking
  • safety critical