h1

h2

h3

h4

h5
h6

Fachgruppe Informatik

Letzte Einträge:
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

    ; ; ;

    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