Trace Checking with Real−Time Specifications
Autori principali: | Deutschmann, R, Fruth, M, Reichel, H, Reuss, H |
---|---|
Natura: | Conference item |
Pubblicazione: |
2004
|
Documenti analoghi
-
Model Checking in an Industrial Environment
di: Hensel, U, et al.
Pubblicazione: (2003) -
Equivalence checking using trace partitioning
di: Mukherjee, R, et al.
Pubblicazione: (2015) -
Optimizing ZigBee Security using Stochastic Model Checking
di: Yüksel, E, et al.
Pubblicazione: (2010) -
Neue Absicherungsstrategien für Steuergerätesoftware
di: Deutschmann, R, et al.
Pubblicazione: (2010) -
Real-time model checking: Algorithms and complexity
di: Worrell, J, et al.
Pubblicazione: (2008)