Yazar
Lang, Frédéric. editor.
Format:
Electronic Resources
Alıntı:
topical sections named: cyber-physical systems; computer networks; railway control systems; verification
Yazar
van der Aalst, Wil. author.
Format:
Electronic Resources
Alıntı:
Part IV moves beyond discovering the control flow of processes, highlighting conformance checking, and
Yazar
Hildebrandt, Thomas. editor.
Format:
Electronic Resources
Alıntı:
Types in the Pi-Calculus -- Type checking purpose-based access control policies in the pi-calculus -- On
Yazar
Horváth, András. editor.
Format:
Electronic Resources
Alıntı:
Headway Data -- Decision Making -- Markov Decision Process and Linear Programming Based Control of MAP/MAP
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
Ganty, Pierre. editor. (orcid)0000-0002-3625-6003
Format:
Electronic Resources
Alıntı:
practitioners in the areas of verification, control, performance, and dependability evaluation in order to
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
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
Heisel, Maritta. editor.
Format:
Electronic Resources
Alıntı:
Cycle -- A Toolchain for Designing and Testing Access Control Policies -- Verification of Authorization
Arama Sonuçlarını Sınırlandır
Daraltılmış: