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
Atig, Mohamed Faouzi. editor. (orcid)0000-0001-8229-3481
Format:
Electronic Resources
Alıntı:
Invited Papers -- Distributed Systems and Protocols -- Testing and Fault Detection -- Model
Yazar
Ölveczky, Peter Csaba. author.
Format:
Electronic Resources
Alıntı:
include classic distributed systems such as transport protocols, cryptographic protocols, and distributed
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
Češka, Milan. editor. (orcid)0000-0002-0300-9727
Format:
Electronic Resources
Alıntı:
Method -- Experimental Biological Protocols with Formal Semantics -- Robust Data-Driven Control of
Yazar
Yahav, Eran. editor.
Format:
Electronic Resources
Alıntı:
Using Uninterpreted Functions -- Synthesizing Finite-State Protocols from Scenarios and Requirements
Yazar
Bae, Kyungmin. editor. (orcid)0000-0002-6430-5175
Format:
Electronic Resources
Alıntı:
Framework for WMN Routing Protocols -- IsaK-Static: A Complete Static Semantics of K -- Solving
Arama Sonuçlarını Sınırlandır
Daraltılmış: