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