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

160.49 EUR
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

Model Based Testing for Real-Time Systems

68.00 EUR
The Theory of Timed I/O Automata, Second Edition

The Theory of Timed I/O Automata, Second Edition

0.00
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
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
The Theory of Timed I/O Automata Second Edition

The Theory of Timed I/O Automata Second Edition

26.74 EUR
Timed Petri Nets: Theory and Application (The International Series on Discrete Event Dynamic Systems, 9, Band 9)

Timed Petri Nets: Theory and Application (The International Series on Discrete Event Dynamic Systems, 9, Band 9)

197.54 EUR