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

Verification of
Wo zu kaufen (1) Eigenschaften
Gesponsert
Verification of Temporal Properties in Embedded Software: based on Assertion and Semiformal Verification Approaches
Medimops DE
69.90 EUR
Preis aktualisiert am: 14-08-2026 09:31:45
Siehe Produktangebot

Allgemein

Marke
Sudwestdeutscher Verlag Fur Hochschulschriften AG

Eigenschaften

Ähnliche Produkte

Temporal Verification of Reactive Systems: Safety
Temporal Verification of Reactive Systems: Safety
Produkt anzeigen
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)
Produkt anzeigen
Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach (Studies in Computational Intelligence, Band 20)
Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach (Studies in Computational Intelligence, Band 20)
Produkt anzeigen
Temporal Verification of Reactive Systems: Safety
Temporal Verification of Reactive Systems: Safety
Produkt anzeigen
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
Produkt anzeigen
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
Produkt anzeigen
Menü