Trace Checking with Real−Time Specifications

Схожие документы

• Model Checking in an Industrial Environment
  по: Hensel, U, и др.
  Опубликовано: (2003)
• Equivalence checking using trace partitioning
  по: Mukherjee, R, и др.
  Опубликовано: (2015)
• Optimizing ZigBee Security using Stochastic Model Checking
  по: Yüksel, E, и др.
  Опубликовано: (2010)
• Neue Absicherungsstrategien für Steuergerätesoftware
  по: Deutschmann, R, и др.
  Опубликовано: (2010)
• Real-time model checking: Algorithms and complexity
  по: Worrell, J, и др.
  Опубликовано: (2008)