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, Fachbücher von Djones Vinicius Lettnin
Galaxus.de
69.90 EUR
Preis aktualisiert am: 03-05-2026 12:17:30
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, 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
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
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
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
Menü