Trace Checking with Real−Time Specifications

相似書籍

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