Loading
|
Efficient Timed Reachability Analysis Using Clock Difference Diagrams (1999) Gerd Behrmann, Kim G. Larsen, Justin Pearson, Carsten Weise, and Wang Yi |
||
|
Timed Automata as Task Models for Event-Driven Systems (1999) Christer Ericsson, Anders Wall and Wang Yi |
||
|
Clock Difference Diagrams (1999) Kim G. Larsen, Carsten Weise, Wang Yi and Justin Pearson |
||
|
Modelling and Verification of Real-Time Systems Using Timed Automata: Theory and Practice (1999) Paul Pettersson |
||
|
Fully Abstract Characterization of Probabilistic May Testing (1999) Bengt Jonsson, Wang Yi |
||
|
Timed Automata as Task Models for Event-Driven Systems (1999) Christer Norström, Anders Wall, Wang Yi |
