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)