Timed Automata as a Verification Tool for Security Protocols

Wo zu kaufen (1) Eigenschaften
Gesponsert
Timed Automata as a Verification Tool for Security Protocols, Fachbücher von Burcu Külahç
Galaxus.de
49.00 EUR
Preis aktualisiert am: 28-07-2026 18:56:59
Siehe Produktangebot

Allgemein

ISBN
3844394605

Eigenschaften

Ähnliche Produkte

The Theory of Timed I/O Automata, Second Edition (Synthesis Lectures on Distributed Computing Theory)
The Theory of Timed I/O Automata, Second Edition (Synthesis Lectures on Distributed Computing Theory)
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
A Journey from Process Algebra via Timed Automata to Model Learning
A Journey from Process Algebra via Timed Automata to Model Learning
Produkt anzeigen
Model Based Testing for Real-Time Systems
Model Based Testing for Real-Time Systems
Produkt anzeigen
Menü