2021-02-25 13:57 |
|
2021-02-25 10:50 |
|
2021-02-25 10:45 |
|
2021-02-25 10:39 |
|
2021-02-25 10:32 |
|
2021-02-23 12:52 |
-
Analyzing Hybrid Petri nets with multiple stochastic firings using HyPro
Hüls, J. (Corresponding author) ; Schupp, S. (Corresponding author) ; Remke, A. (Corresponding author) ; Ábrahám, E. (Corresponding author)
Proceedings of the 11th EAI International Conference on Performance Evaluation Methodologies and Tools : VALUETOOLS 2017 : 5-7 December 2017, Venice, Italy / general co-chairs: Andrea Marin, University of Venice - Ca', Foscari, Italy, Benny Van Houdt, University of Antwerp, Belgium ; technical programme committe chairs: Giuliano Casale, Imperial College London, United Kingdom, Dorina Petriu, Carleton University, Canada, Sabina Rossi, University of Venice - Ca', Foscari, Italy, Seiten/Artikel-Nr: 178–185
DOI: 10.1145/3150928.3150938
Contribution to a book/Contribution to a conference proceedings
2017
|
2021-02-23 12:51 |
|
2021-02-23 12:47 |
|
2021-02-23 12:13 |
|
2021-02-22 08:57 |
|
|
|