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
實物特徵
總結:

相似書籍