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)