Trace Checking with Real−Time Specifications

Slični predmeti

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