Yazar
Hameurlain, Abdelkader. editor.
Format:
Electronic Resources
Alıntı:
decentralized control. Synergy between grids, P2P systems, and agent technologies is the key to data- and
Yazar
Butler, Michael. editor.
Format:
Electronic Resources
Alıntı:
Control Construct for Abstract State Machines -- Encoding TLA+ into Many-Sorted First-Order Logic
Yazar
Chen, Liqun. editor. (orcid)0000-0003-2680-4907
Format:
Electronic Resources
Alıntı:
n-Dimensional Randomized Binary Responses -- Outsourcing and Assisted Computing -- Enforcing Access Control for
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
Yazar
Ábrahám, Erika. editor.
Format:
Electronic Resources
Alıntı:
Human-in-the-Loop Control Systems -- Learning Regular Languages over Large Alphabets -- Verification of Concurrent
Yazar
Margaria, Tiziana. editor.
Format:
Electronic Resources
Alıntı:
Evolving Distributed Control System Using an Event-Based Approach -- Requirements Driven Data Warehouse
Arama Sonuçlarını Sınırlandır
Daraltılmış: