SPI-Workbench - Modellierung, Analyse und Optimierung eingebetteter Systeme | 0 | 0.34 | 2005 |
FunState—an internal design representation for codesign | 47 | 2.45 | 2001 |
Regular state machines | 5 | 0.54 | 2000 |
Interval diagrams for efficient symbolic verification of processnetworks | 7 | 0.93 | 2000 |
Interval Diagrams: Increasing Efficiency of Symbolic Real-Time Verification | 6 | 0.53 | 1999 |
FunState-an internal design representation for codesign | 13 | 2.01 | 1999 |
Interval diagram techniques for symbolic model checking of Petri nets | 9 | 0.68 | 1999 |
Scheduling hardware/software systems using symbolic techniques | 19 | 1.65 | 1999 |
Symbolic model checking of process networks using interval diagram techniques | 28 | 1.71 | 1998 |