[ACM Press the 2013 ACM SIGSIM conference - Montr©al, Québec, Canada (2013.05.19-2013.05.22)] Proceedings of the 2013 ACM SIGSIM conference on Principles of advanced discrete simulation - SIGSIM-PADS '13 - Simulation-based verification of hybrid automata stochastic logic formulas for stochastic symmetric nets
Amparore, Elvio Gilberto, Barbot, Benoit, Beccuti, Marco, Donatelli, Susanna, Franceschinis, GiulianaYear:
2013
Language:
english
DOI:
10.1145/2486092.2486124
File:
PDF, 1.77 MB
english, 2013