Sign in

Safety Contracts for Timed Reactive Components in SysML.

Iulia DragomirIulian OberChristian Percebois
Published in: SOFSEM (2014)
Keyphrases
  • safety analysis
  • petri net
  • modeling language
  • data mining
  • life cycle
  • software components
  • safety critical
  • databases
  • neural network
  • control system
  • supply chain
  • timed automata