Výsledky vyhledávání - theory of computation/computation by abstract devices/models of computation/automata
-
1
Learning Communicating Automata from MSCs
ISSN: 0098-5589, 1939-3520Vydáno: New York IEEE 01.05.2010Vydáno v IEEE transactions on software engineering (01.05.2010)“…This paper is concerned with bridging the gap between requirements and distributed systems. Requirements are defined as basic message sequence charts (MSCs)…”
Získat plný text
Journal Article -
2
Strictly Temporally Periodic Points in Cellular Automata
ISSN: 2075-2180Vydáno: Open Publishing Association 13.08.2012Vydáno v Electronic Proceedings in Theoretical Computer Science (13.08.2012)Získat plný text
Journal Article