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)