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

מידע ביבליוגרפי
Main Authors: Amparore, E, Barbot, B, Beccuti, M, Donatelli, S, Franceschinis, G
פורמט: Conference item
יצא לאור: ACM 2013
תיאור
סיכום:

פריטים דומים