Sciweavers

Share
FORMATS
2008
Springer
9 years 1 months ago
Timed Automata with Integer Resets: Language Inclusion and Expressiveness
P. Vijay Suman, Paritosh K. Pandya, Shankara Naray...
FORMATS
2008
Springer
9 years 1 months ago
Parametric Model-Checking of Time Petri Nets with Stopwatches Using the State-Class Graph
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...
Louis-Marie Traonouez, Didier Lime, Olivier H. Rou...
FORMATS
2008
Springer
9 years 1 months ago
Compositional Abstraction in Real-Time Model Checking
Jasper Berendsen, Frits W. Vaandrager
FORMATS
2008
Springer
9 years 1 months ago
A Framework for Distributing Real-Time Functions
Abstract. The design of critical embedded real-time systems requires high confidence in the architecture and the implemented functionalities. Classically, such functions are suppor...
Frédéric Boniol, Pierre-Emmanuel Hla...
books