Login / Signup
On the Probabilistic Verification of Time Constrained SysML State Machines.
Abdelhakim Baouya
Djamal Bennouar
Otmane Aït Mohamed
Samir Ouchani
Published in:
SoMeT (2015)
Keyphrases
</>
state machines
formal methods
state machine
petri net
reactive systems
safety analysis
model checking
formal verification
recurrent networks
object oriented
knowledge based systems
fault tolerant
safety critical