A Aralex Aachen research explorer

December 05, 2017 conference-paper

Analyzing Hybrid Petri nets with multiple stochastic firings using HyPro

EAI International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS)

DOI: 10.1145/3150928.3150938 OpenAlex

Authors 0

Author list not loaded yet.

Cited by 2 stored of 12

Recent developments in theory and tool support for hybrid systems verification with HyPro
2022 Information and Computation article Computer Science Formal Methods in Verification Open access

6

citations
ARCH-COMP20 Category Report: Stochastic Models
2020 EPiC series in computing conference-paper Computer Science Formal Methods in Verification Open access

10

citations

2 results

References 0