Transactions on Petri Nets and Other Models of Concurrency X
by
Koutny, Maciej. editor.
Title
:
Transactions on Petri Nets and Other Models of Concurrency X
Author
:
Koutny, Maciej. editor.
ISBN
:
9783662486504
Edition
:
1st ed. 2015.
Physical Description
:
XV, 177 p. 41 illus. in color. online resource.
Series
:
Transactions on Petri Nets and Other Models of Concurrency, 9410
Contents
:
Verification of Logs - Revealing Faulty Processes of a Medical Laboratory -- An Everlasting Secure Non-interactive Timestamping Scheme in the Bounded Storage Model -- Timed Aggregate Graph: Finite Graph Preserving Event- and State-Based Quantitative Properties of Time Petri Nets -- SMT-based Abstract Parametric Temporal Planning -- Kleene Theorems for Synchronous Products with Matching -- Symbolic Model Checking of Security Protocols for Ad Hoc Networks on Any Topologies -- Symbolic Search of Insider Attack Scenarios from a Formal Information System Modeling -- Modelling and Analysis Mobile Systems Using π-Calculus (EFCP).
Added Author
:
Koutny, Maciej.
Desel, Jörg.
Haddad, Serge.
Added Corporate Author
:
SpringerLink (Online service)
Electronic Access
:
Library | Material Type | Item Barcode | Shelf Number | [[missing key: search.ChildField.HOLDING]] | Status |
---|
Online Library | E-Book | 519204-1001 | XX(519204.1) | | Elektronik Kütüphane |