On the Probabilistic Verification of Time Constrained SysML State Machines.

Abdelhakim Baouya, Djamal Bennouar, Otmane At Mohamed, Samir Ouchani

Browse the full SoMeT paper archive.