Timed Automata as a Verification Tool for Security Protocols

By Burcu Külahçolu

Timed automata is an extension to the automata-theoretic approach to the modeling of real time systems that introduces time into the classical automata. Since it has been first proposed in the early... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3844394605
• ISBN13: 9783844394603
• Release Date: May 2011
• Publisher: LAP Lambert Academic Publishing
• Length: 104 Pages
• Weight: 0.36 lbs.
• Dimensions: 0.3" x 6.0" x 9.0"