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

Verification of
Wo zu kaufen (2) Eigenschaften
Gesponsert
Verification of Temporal Properties in Embedded Software, Fachbücher von Djones Vinicius Lettnin
Galaxus.de
69.90 EUR
Preis aktualisiert am: 29-09-2026 01:59:31
Siehe Produktangebot
Gesponsert
Verification of Temporal Properties in Embedded Software
Hugendubel
69.99 EUR
Preis aktualisiert am: 29-09-2026 21:19:47
Siehe Produktangebot

Allgemein

Marke
Sudwestdeutscher Verlag Fur Hochschulschriften AG

Eigenschaften

Ähnliche Produkte

Temporal Verification of Reactive Systems: Safety
Temporal Verification of Reactive Systems: Safety
Aus111.24 EUR 4
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)
Aus152.06 EUR 4
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)
Aus159.34 EUR 3
Produkt anzeigen
Temporal Verification of Reactive Systems: Safety
Temporal Verification of Reactive Systems: Safety
Aus98.41 EUR 2
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
Aus78.99 EUR 2
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
Aus89.90 EUR 2
Produkt anzeigen
Menü