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

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

89.90 EUR
Temporal Verification of Reactive Systems: Safety

Temporal Verification of Reactive Systems: Safety

102.14 EUR
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 (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)

160.49 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
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

A Formal Framework for Run-Time Verification of Web Applications

49.00 EUR

Effective and Efficient Temporal Verification in Grid Workflow: Enabling timely completion of grid workflow

68.00 EUR