Yazar
Veres, Sandor M.
Format:
Kitap
Alıntı:
Natural language programming of agents and robotic devices : publishing for humans and machines in
Yazar
Butler, Michael. editor.
Format:
Electronic Resources
Alıntı:
Abstract State Machines, Alloy, B, TLA, VDM, and Z 5th International Conference, ABZ 2016, Linz
View Other Search Results
Yazar
Garrigue, Jacques. editor.
Format:
Electronic Resources
Alıntı:
languages; compilers, interpreters, abstract machines; program derivation, synthesis and transformation
Yazar
Fernández, Maribel. author.
Format:
Electronic Resources
Alıntı:
machines and structural operational semantics. Programming Languages and Operational Semantics gives an
Yazar
Braga, Christiano. editor.
Format:
Electronic Resources
Alıntı:
animation of Turing Machines -- Towards completeness in Bounded Model Checking through Automatic Recursion
Yazar
Chang, Bor-Yuh Evan. editor.
Format:
Electronic Resources
Alıntı:
pointers and dataflow; languages and decidability; numerical; trends: assuring machine learning; synthesis
Yazar
Kovalev, Mikhail. author.
Format:
Electronic Resources
Alıntı:
A Pipelined Multi-core MIPS Machine Hardware Implementation and Correctness Proof / Kovalev
Yazar
Beyer, Dirk. editor. (orcid)0000-0003-4832-7662
Format:
Electronic Resources
Alıntı:
Communicating State Machines -- Repairing Timed Automata Clock Guards through Abstraction and Testing -- Proving
Yazar
Devitt, Simon. editor.
Format:
Electronic Resources
Alıntı:
-- Reversible causal graph dynamics -- Boosting Reversible Pushdown Machines By Preprocessing -- Reversible
Yazar
Egyed, Alexander. editor.
Format:
Electronic Resources
Alıntı:
Models and Synthesis -- An Institution for Simple UML State Machines -- Map-Based Transparent
Yazar
Combemale, Benoît. editor.
Format:
Electronic Resources
Alıntı:
Tool for State Machines and Sequence Diagrams -- Towards User-Friendly Projectional -- Bounded Seas
Yazar
Fonseca i Casas, Pau. editor. (orcid)0000-0002-6747-9736
Format:
Electronic Resources
Alıntı:
, Metamodeling and Protocols -- Deriving Distributed Design Models from Global State Machines Requirements
Arama Sonuçlarını Sınırlandır
Daraltılmış: