Search Results for Machines.

13.

Yazar

Biondi, Fabrizio. editor.

Format:

Electronic Resources

Alıntı:

-- From Dynamic State Machines to Promela -- String abstraction for model checking of C programs -- Swarm

14.

Yazar

Devitt, Simon. editor.

Format:

Electronic Resources

Alıntı:

-- Reversible causal graph dynamics -- Boosting Reversible Pushdown Machines By Preprocessing -- Reversible

15.

Yazar

Egyed, Alexander. editor.

Format:

Electronic Resources

Alıntı:

Models and Synthesis -- An Institution for Simple UML State Machines -- Map-Based Transparent

16.

Yazar

Krivine, Jean. editor.

Format:

Electronic Resources

Alıntı:

particularly includes the following topics: reversible machines, reversible languages, design and verification

	{displayName}	{count}
{error}