28 sonuç bulundu
Tümünü Seç
000000000000DEFAULTTR
Yazar
Durand-Lose, Jerome. editor.
Format:
Electronic Resources
Alıntı:
Machines, Computations, and Universality 7th International Conference, MCU 2015, Famagusta, North
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
Ait Ameur, Yamine. editor.
Format:
Electronic Resources
Alıntı:
Abstract State Machines, Alloy, B, TLA, VDM, and Z 4th International Conference, ABZ 2014, Toulouse
Yazar
Boniol, Frédéric. editor.
Format:
Electronic Resources
Alıntı:
Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014. Proceedings / Boniol
Yazar
Garrigue, Jacques. editor.
Format:
Electronic Resources
Alıntı:
languages; compilers, interpreters, abstract machines; program derivation, synthesis and transformation
Yazar
Aranda-Corral, Gonzalo A. editor.
Format:
Electronic Resources
Alıntı:
-- Reasoning -- Learning -- Decision support systems.-Machine intelligence and epistemology and philosophy of
Yazar
Câmpeanu, Cezar. editor.
Format:
Electronic Resources
Alıntı:
occur in computational models, such as Turing Machines, finte automata, grammars, splicing systems and
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
Biondi, Fabrizio. editor.
Format:
Electronic Resources
Alıntı:
-- From Dynamic State Machines to Promela -- String abstraction for model checking of C programs -- Swarm
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
Egyed, Alexander. editor.
Format:
Electronic Resources
Alıntı:
Models and Synthesis -- An Institution for Simple UML State Machines -- Map-Based Transparent
28 sonuç bulundu