Yazar
Desmedt, Yvo. editor.
Format:
Electronic Resources
Alıntı:
authentication; usability & risk perception; access control; computer security; privacy attacks; cryptography.
Yazar
Akama, Seiki. editor.
Format:
Electronic Resources
Alıntı:
Artificial Neural Network for Structuring Statistical Process Control in Electrical Engineering
View Other Search Results
Yazar
Meyer, Bertrand. editor.
Format:
Electronic Resources
Alıntı:
cyber-physical systems -- a control-theoretic approach to self-adaptive systems and an application to cloud-based
Yazar
Zamani, Majid. editor.
Format:
Electronic Resources
Alıntı:
Tutorials -- Correctness and Optimality for Control Systems -- Modeling, Control, and Verification
Yazar
Cohen, Ernie. editor.
Format:
Electronic Resources
Alıntı:
Train Control System under a Combined Scenario by Theorem Proving -- Formal Verification of Loop Bound
Yazar
Maler, Oded. editor.
Format:
Electronic Resources
Alıntı:
Immune Response Enhancement Strategy via Hybrid Control Perspective -- Fluorescent Reporter Genes
Yazar
Yahav, Eran. editor.
Format:
Electronic Resources
Alıntı:
Control of Discrete-Event Systems via IC3 -- Partial-Order Reduction for Multi-core LTL Model Checking
Yazar
Fodor, Paul. editor. (orcid)0000-0002-2978-676X
Format:
Electronic Resources
Alıntı:
, Interoperating, and Co-executing Air Traffic Control Rules Across PSOA RuleML and IDP -- An ASP-based Solution
Yazar
Hospodár, Michal. editor.
Format:
Electronic Resources
Alıntı:
A General Framework for Sequential Grammars with Control Mechanisms -- Low-Complexity Tilings of
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
De Nicola, Rocco. editor.
Format:
Electronic Resources
Alıntı:
Subgraph Control-Flow Information (short paper) -- Program Analysis -- Correlating Structured Inputs and
Yazar
Proietti, Maurizio. editor.
Format:
Electronic Resources
Alıntı:
Evaluation for Java Malware Detection -- Access control and obligations in the category-based metamodel: a
Arama Sonuçlarını Sınırlandır
Daraltılmış: