Yazar
Ganty, Pierre. editor.
Format:
Electronic Resources
Alıntı:
Trustworthy Global Computing focuses on frameworks, tools, algorithms, and protocols for open-ended
Yazar
Núñez, Manuel. editor.
Format:
Electronic Resources
Alıntı:
Applications.- Protocols -- Specification and analysis -- Verification.
View Other Search Results
Yazar
Remke, Anne. editor.
Format:
Electronic Resources
Alıntı:
modeling, analysis of randomized algorithms and communication protocols which form the structure of the
Yazar
Maffei, Matteo. editor.
Format:
Electronic Resources
Alıntı:
protocols -- Session Types with Gradual Typing -- Corecursion and Non-Divergence in Session-Typed Processes
Yazar
Liu, Shaoying. editor.
Format:
Electronic Resources
Alıntı:
-- Automatic Verification for Later-Correspondence of Security Protocols -- Combining Separation Logic and
Yazar
Albert, Elvira. editor.
Format:
Electronic Resources
Alıntı:
-- Choreographies in Practice -- Specification-Based Synthesis of Distributed Self-Stabilizing Protocols
Yazar
Albert, Elvira. editor.
Format:
Electronic Resources
Alıntı:
MaCAN Protocol -- A Probabilistic Framework for Security Scenarios with Dependent Actions -- A Hybrid
Yazar
Yahav, Eran. editor.
Format:
Electronic Resources
Alıntı:
Using Uninterpreted Functions -- Synthesizing Finite-State Protocols from Scenarios and Requirements
Yazar
Lecomte, Thierry. editor.
Format:
Electronic Resources
Alıntı:
Security Analysis of ERTMS Train to Trackside Protocols -- Operational Security – A Coming Evolution of
Yazar
Kroening, Daniel. editor.
Format:
Electronic Resources
Alıntı:
Concretization for Parallel Program Synthesis -- Automatic Completion of Distributed Protocols with Symmetry
Yazar
Cassez, Franck. editor.
Format:
Electronic Resources
Alıntı:
Protocol -- Quantitative Verification of Weighted Kripke Structures -- Formal Safety Assessment via
Yazar
Jones, Richard. editor.
Format:
Electronic Resources
Alıntı:
Foundation for Closures in the Age of Concurrency and Distribution -- Rely-Guarantee Protocols -- Stream
Arama Sonuçlarını Sınırlandır
Daraltılmış: