Trace Checking with Real−Time Specifications

Eitemau Tebyg

• Model Checking in an Industrial Environment
  gan: Hensel, U, et al.
  Cyhoeddwyd: (2003)
• Equivalence checking using trace partitioning
  gan: Mukherjee, R, et al.
  Cyhoeddwyd: (2015)
• Optimizing ZigBee Security using Stochastic Model Checking
  gan: Yüksel, E, et al.
  Cyhoeddwyd: (2010)
• Neue Absicherungsstrategien für Steuergerätesoftware
  gan: Deutschmann, R, et al.
  Cyhoeddwyd: (2010)
• Real-time model checking: Algorithms and complexity
  gan: Worrell, J, et al.
  Cyhoeddwyd: (2008)