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
|
مواد مشابهة
-
On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets
حسب: Barbot, B, وآخرون
منشور في: (2015) -
Stochastic Timed Automata
حسب: Nathalie Bertrand, وآخرون
منشور في: (2014-12-01) -
Intrinsic Simulations between Stochastic Cellular Automata
حسب: Pablo Arrighi, وآخرون
منشور في: (2012-08-01) -
Multipreconditioned GMRES for simulating stochastic automata networks
حسب: Wen Chun, وآخرون
منشور في: (2018-08-01) -
Bisimulation Relations Between Automata, Stochastic Differential Equations and Petri Nets
حسب: Mariken H.C. Everdij, وآخرون
منشور في: (2010-03-01)