Trace Checking with Real−Time Specifications

Những quyển sách tương tự

• Model Checking in an Industrial Environment
  Bằng: Hensel, U, et al.
  Được phát hành: (2003)
• Equivalence checking using trace partitioning
  Bằng: Mukherjee, R, et al.
  Được phát hành: (2015)
• Optimizing ZigBee Security using Stochastic Model Checking
  Bằng: Yüksel, E, et al.
  Được phát hành: (2010)
• Neue Absicherungsstrategien für Steuergerätesoftware
  Bằng: Deutschmann, R, et al.
  Được phát hành: (2010)
• Real-time model checking: Algorithms and complexity
  Bằng: Worrell, J, et al.
  Được phát hành: (2008)