Verification of Temporal Properties in Embedded Software: based on Assertion and Semiformal Verification Approaches | DealShopping Deutschland
  1. Home
  2. Medien
  3. Bücher
  4. Verification of Temporal Properties in Embedded Software: based on Assertion and Semiformal Verification Approaches
  • #
  • #

Verification of Temporal Properties in Embedded Software: based on Assertion and Semiformal Verification Approaches

69.90 EUR

Teilen:

Ähnliche Produkte

Temporal Verification of Reactive Systems

Temporal Verification of Reactive Systems

117.69 EUR
Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach

Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach

152.06 EUR
Temporal Verification of Reactive Systems: Safety

Temporal Verification of Reactive Systems: Safety

101.52 EUR
Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach (Studies in Computational Intelligence, 20, Band 20)

Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach (Studies in Computational Intelligence, 20, Band 20)

159.34 EUR
Mechanical Verification of Parameterized Real-Time Systems: A Formal Framework and its Application to a Real-Time Operating System Scheduler

Mechanical Verification of Parameterized Real-Time Systems: A Formal Framework and its Application to a Real-Time Operating System Scheduler

81.74 EUR
Specifications and Verifications of Transactions in Mobile Environment: Temporal Logics Specifications and Verifications

Specifications and Verifications of Transactions in Mobile Environment: Temporal Logics Specifications and Verifications

79.00 EUR