Yazar
Guttman, Joshua D. editor.
Format:
Electronic Resources
Alıntı:
Foundations of Security, Protocols, and Equational Reasoning Essays Dedicated to Catherine A
Yazar
Núñez, Manuel. editor.
Format:
Electronic Resources
Alıntı:
Applications.- Protocols -- Specification and analysis -- Verification.
View Other Search Results
Yazar
Medina-Bulo, Inmaculada. editor.
Format:
Electronic Resources
Alıntı:
systems, including communication protocols, services, distributed platforms, middleware, embedded- and
Yazar
Remke, Anne. editor.
Format:
Electronic Resources
Alıntı:
modeling, analysis of randomized algorithms and communication protocols which form the structure of the
Yazar
Franke, Björn. editor.
Format:
Electronic Resources
Alıntı:
-- Towards a Scalable Framework for Context-Free Language Reachability -- Protocols by Default: Safe MPI Code
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
Lluch Lafuente, Alberto. editor.
Format:
Electronic Resources
Alıntı:
abstractions; communication protocols and behavioural types; actors and concurrent objects; tuple spaces; games
Yazar
Albert, Elvira. editor.
Format:
Electronic Resources
Alıntı:
-- Choreographies in Practice -- Specification-Based Synthesis of Distributed Self-Stabilizing Protocols
Yazar
Koutny, Maciej. editor.
Format:
Electronic Resources
Alıntı:
Security Protocols for Ad Hoc Networks on Any Topologies -- Symbolic Search of Insider Attack Scenarios
Yazar
Albert, Elvira. editor.
Format:
Electronic Resources
Alıntı:
MaCAN Protocol -- A Probabilistic Framework for Security Scenarios with Dependent Actions -- A Hybrid
Yazar
Ganty, Pierre. editor. (orcid)0000-0002-3625-6003
Format:
Electronic Resources
Alıntı:
Protocols Using Scenario Based Simulation -- Running on Fumes - Preventing Out-of-Gas Vulnerabilities in
Arama Sonuçlarını Sınırlandır
Daraltılmış: