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

مواد مشابهة