FORMATS
2008
Springer
13 years 6 months ago
2008
Springer
FORMATS
2008
Springer
13 years 6 months ago
2008
Springer
Abstract. In this paper, we propose a new framework for the parametric verification of time Petri nets with stopwatches controlled by inhibitor arcs. We first introduce an extensio...
FORMATS
2008
Springer
13 years 6 months ago
2008
Springer
FORMATS
2008
Springer
13 years 6 months ago
2008
Springer
Abstract. The design of critical embedded real-time systems requires high confidence in the architecture and the implemented functionalities. Classically, such functions are suppor...