Panel Session - The Future Car: Technology, Methods and Tools | 0 | 0.34 | 2008 |
EPspectra: a formal toolkit for developing DSP software applications | 0 | 0.34 | 2005 |
Formal Verification of an Avionics Sensor Voter Using SCADE | 11 | 0.73 | 2004 |
Esterel: a formal method applied to avionic software development | 20 | 1.98 | 2000 |
XEVE, an ESTEREL Verification Environment | 40 | 2.59 | 1998 |
Verifying Synchronous Reactive Systems Programmed in ESTEREL | 7 | 0.60 | 1996 |
The FC2TOOLS Set (Tool Demonstration) | 0 | 0.34 | 1996 |
The FC2TOOLS Set | 23 | 1.18 | 1996 |
JACK: Just Another Concurrency Kit. The intergration Projekt | 11 | 0.91 | 1994 |
Symbolic Bisimulation Minimisation | 41 | 2.95 | 1992 |
Causal Models for Rational Algebraic Processes | 1 | 0.55 | 1991 |