Specifying urgency in timed I/O automata

Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05) ◽

10.1109/sefm.2005.42 ◽

2005 ◽

Cited By ~ 9

Author(s):

B. Gebremichael ◽

F. Vaandrager

Download Full-text