Timed Automata as a Verification Tool for Security Protocols | DealShopping Deutschland
  1. Home
  2. Medien
  3. Bücher
  4. Timed Automata as a Verification Tool for Security Protocols
  • #

Timed Automata as a Verification Tool for Security Protocols

49.00 EUR

Teilen:

Ähnliche Produkte

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

159.34 EUR
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)

32.98 EUR
Model Based Testing for Real-Time Systems

Model Based Testing for Real-Time Systems

68.00 EUR
A Journey from Process Algebra via Timed Automata to Model Learning

A Journey from Process Algebra via Timed Automata to Model Learning

53.49 EUR