20126 search results - page 66 / 4026 » Timed Transition Systems |
131
click to vote
ISOLA
2010
Springer
15 years 1 months ago
2010
Springer
We give a detailed construction of a finite-state transition system for a com-connected Message Sequence Graph. Though this result is fairly well-known in the literature there has...
137
click to vote
SPIN
2010
Springer
15 years 1 months ago
2010
Springer
Directed model checking is a well-established technique to efficiently tackle the state explosion problem when the aim is to find error states in concurrent systems. Although dir...
166
click to vote
ECMDAFA
2009
Springer
15 years 9 months ago
2009
Springer
The need for a design language that is rigorous but accessible and intuitive is often at odds with the formal and mathematical nature of languages used for analysis. UML and Petri ...
125
click to vote
JLP
2006
15 years 3 months ago
2006
We investigate the connections between the process algebra for hybrid systems of Bergstra and Middelburg and the formalism of hybrid automata of Henzinger et al. We give interpreta...
123
click to vote
SEFM
2006
IEEE
15 years 9 months ago
2006
IEEE
We present a methodology for modeling heterogeneous real-time components. Components are obtained as the superposition of three layers : Behavior, specified as a set of transitio...