![Cover image for Transactions on Petri Nets and Other Models of Concurrency X Cover image for Transactions on Petri Nets and Other Models of Concurrency X](/client/assets/5.0.0.9/ctx//client/images/no_image.png)
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 Corporate Author:
Electronic Access:
https://doi.org/10.1007/978-3-662-48650-4Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
---|---|---|---|---|---|
Searching... | E-Book | 519204-1001 | XX(519204.1) | Searching... | Searching... |