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
Egyed, Alexander. editor.
Format:
Electronic Resources
Alıntı:
Decentralised Control Loops -- Model-Based Adaptation of Software Communicating via FIFO Buffers -- Lazy TSO
Yazar
Badouel, Eric. author.
Format:
Electronic Resources
Alıntı:
Concurrency from Transition Systems -- Process Discovery -- Supervisory Control -- Design of Speed Independent
Yazar
Combemale, Benoît. editor.
Format:
Electronic Resources
Alıntı:
Scope Discovery for Model Transformations -- Streamlining Control Flow Graph Construction with DCFlow
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
Hudec, Miroslav. author.
Format:
Electronic Resources
Alıntı:
conditions, while Chapter 3 focuses on linguistic summaries. Chapter 4 presents fuzzy logic control
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
Blesa, Maria J. editor.
Format:
Electronic Resources
Alıntı:
Acceleration in PSO -- Districting and Routing for Security Control -- A GRASP/VND Heuristic for a Generalized
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
Gnesi, Stefania. editor.
Format:
Electronic Resources
Alıntı:
Verification of Medical Device User Interfaces Using PVS -- Sound Control Flow Graph Extraction from Incomplete
Arama Sonuçlarını Sınırlandır
Daraltılmış: