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

অনুরূপ উপাদানগুলি