Trace Checking with Real−Time Specifications
Hauptverfasser: | Deutschmann, R, Fruth, M, Reichel, H, Reuss, H |
---|---|
Format: | Conference item |
Veröffentlicht: |
2004
|
Ähnliche Einträge
Ähnliche Einträge
-
Model Checking in an Industrial Environment
von: Hensel, U, et al.
Veröffentlicht: (2003) -
Equivalence checking using trace partitioning
von: Mukherjee, R, et al.
Veröffentlicht: (2015) -
Optimizing ZigBee Security using Stochastic Model Checking
von: Yüksel, E, et al.
Veröffentlicht: (2010) -
Neue Absicherungsstrategien für Steuergerätesoftware
von: Deutschmann, R, et al.
Veröffentlicht: (2010) -
Real-time model checking: Algorithms and complexity
von: Worrell, J, et al.
Veröffentlicht: (2008)