Safety Contracts for Timed Reactive Components in SysML.

Iulia Dragomir Iulian Ober Christian 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