Yazar
Ábrahám, Erika. editor.
Format:
Electronic Resources
Alıntı:
Railway Infrastructure Designs -- Formal Verification of Safety PLC Based Control Software -- Enabling
Yazar
Gheorghe, Marian. editor.
Format:
Electronic Resources
Alıntı:
Control -- Probabilistic Guarded P Systems, a New Formal Modelling Framework -- Solving the
Yazar
Dowek, Gilles. editor.
Format:
Electronic Resources
Alıntı:
Process Types as a Descriptive Tool for Interaction: Control and the Pi-Calculus -- Concurrent
Yazar
Finkbeiner, Bernd. editor. (orcid)0000-0002-4280-8441
Format:
Electronic Resources
Alıntı:
Control-Flow Temporal Logic -- FastCFI: Real-Time Control Flow Integrity using FPGA without Code
Yazar
Butler, Michael. editor.
Format:
Electronic Resources
Alıntı:
Control Construct for Abstract State Machines -- Encoding TLA+ into Many-Sorted First-Order Logic
Yazar
Jones, Cliff. editor.
Format:
Electronic Resources
Alıntı:
Experiences -- Formal Verification of Lunar Rover Control Software Using UPPAAL -- Formal Verification of a
Yazar
Fitzgerald, John. editor.
Format:
Electronic Resources
Alıntı:
the gap between the disciplines of software and control engineering. In a marketplace, where rapid
Yazar
Zsók, Viktória. editor.
Format:
Electronic Resources
Alıntı:
Central European Functional Programming School 5th Summer School, CEFP 2013, Cluj-Napoca, Romania
Yazar
Chechik, Marsha. editor.
Format:
Electronic Resources
Alıntı:
Verification Errors -- JDart: A Dynamic Symbolic Analysis Framework -- Diagnostic Information for Control
Yazar
Biere, Armin. editor.
Format:
Electronic Resources
Alıntı:
Verified Document Confidentiality -- VAC - Verifier of Administrative Role-Based Access Control Policies
Yazar
Counsell, Steve. editor.
Format:
Electronic Resources
Alıntı:
Methods Body of Knowledge for Railway Control and Safety Systems (FM-RAIL-BOK). In many engineering-based
Yazar
Dingel, Juergen. editor.
Format:
Electronic Resources
Alıntı:
Experience -- Experiences in Applying Model Driven Engineering to the Telescope and Instrument Control System
Arama Sonuçlarını Sınırlandır
Daraltılmış: