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

Opis bibliograficzny
Główni autorzy: Amparore, E, Barbot, B, Beccuti, M, Donatelli, S, Franceschinis, G
Format: Conference item
Wydane: ACM 2013

Podobne zapisy