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
|
相似书籍
-
On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets
由: Barbot, B, et al.
出版: (2015) -
Stochastic Timed Automata
由: Nathalie Bertrand, et al.
出版: (2014-12-01) -
Intrinsic Simulations between Stochastic Cellular Automata
由: Pablo Arrighi, et al.
出版: (2012-08-01) -
Multipreconditioned GMRES for simulating stochastic automata networks
由: Wen Chun, et al.
出版: (2018-08-01) -
Bisimulation Relations Between Automata, Stochastic Differential Equations and Petri Nets
由: Mariken H.C. Everdij, et al.
出版: (2010-03-01)