Simulation−based verification of hybrid automata stochastic logic formulas for stochastic symmetric nets

Simulation−based verification of hybrid automata stochastic logic formulas for stochastic symmetric nets

Մատենագիտական մանրամասներ
Հիմնական հեղինակներ: Amparore, E, Barbot, B, Beccuti, M, Donatelli, S, Franceschinis, G
Ձևաչափ: Conference item
Հրապարակվել է: ACM 2013
Նկարագրություն
Ամփոփում:

Նմանատիպ նյութեր