Browsing by author "Verlind, Eric"
Now showing items 1-4 of 4
-
A time abstraction method for efficient verification of communicating systems
Verlind, Eric; Kolks, Tilman; De Jong, Gjalt; Lin, Bill; De Man, Hugo (1994) -
Efficient partial enumeration for timing analysis of asynchronous systems
Verlind, Eric; De Jong, Gjalt; Lin, Bill (1996) -
Efficient timing analysis of asynchronous systems and synchronous communication channels
Verlind, Eric (1999-09) -
Efficient timing analysis of highly concurrent systems
Verlind, Eric; De Jong, Gjalt; Lin, Bill (1995)