Yazar
Papadopoulos, Yiannis. editor. (orcid)0000-0001-7007-5153
Format:
Electronic Resources
Alıntı:
Control Structures and Microprogramming. https://scigraph.springernature.com/ontologies/product
Yazar
Heisel, Maritta. editor.
Format:
Electronic Resources
Alıntı:
Cycle -- A Toolchain for Designing and Testing Access Control Policies -- Verification of Authorization
View Other Search Results
Yazar
Lecomte, Thierry. editor.
Format:
Electronic Resources
Alıntı:
-- Failure Analysis of Chinese Train Control System Level 3 Based on Model Checking -- Correct Formalization
Yazar
Alvim, Mário S. editor.
Format:
Electronic Resources
Alıntı:
-- Verification and Control of Turn-Based Probabilistic Real-Time Games -- Refinement Metrics for Quantitative
Arama Sonuçlarını Sınırlandır
Daraltılmış: