Yazar
Desmedt, Yvo. editor.
Format:
Electronic Resources
Alıntı:
authentication; usability & risk perception; access control; computer security; privacy attacks; cryptography.
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
View Other Search Results
Yazar
Tuosto, Emilio. editor.
Format:
Electronic Resources
Alıntı:
control-flow relations using Petri nets, consistency of cloud stores, model checking, model-drives design
Yazar
Bošnački, Dragan. editor.
Format:
Electronic Resources
Alıntı:
Action-Based Probabilistic Operators -- SymDIVINE: Tool for Control-Explicit Data-Symbolic State Space
Yazar
Steffen, Bernhard. editor.
Format:
Electronic Resources
Alıntı:
unclear premises, unforeseen change, and the need for fast reaction, in a context of hard-to-control frame
Yazar
Lang, Frédéric. editor.
Format:
Electronic Resources
Alıntı:
topical sections named: cyber-physical systems; computer networks; railway control systems; verification
Yazar
Albert, Elvira. editor.
Format:
Electronic Resources
Alıntı:
; program development; security analysis; analysis and transformation; and concurrency and control.
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
Devitt, Simon. editor.
Format:
Electronic Resources
Alıntı:
-- Initial Ideas for Automatic Design and Verification of Control Logic in Reversible HDLs -- Quantum
Yazar
Egyed, Alexander. editor.
Format:
Electronic Resources
Alıntı:
Decentralised Control Loops -- Model-Based Adaptation of Software Communicating via FIFO Buffers -- Lazy TSO
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
Combemale, Benoit. editor.
Format:
Electronic Resources
Alıntı:
providing support for imposing control over development artifacts produced by multiple teams. DSMLs can be
Arama Sonuçlarını Sınırlandır
Daraltılmış: