Search Results for Machines.

13.

Yazar

Lachiche, Nicolas. editor.

Format:

Electronic Resources

Alıntı:

Programming (ILP) is a subfield of machine learning, which originally relied on logic programming as a uniform

14.

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

15.

Yazar

Biondi, Fabrizio. editor.

Format:

Electronic Resources

Alıntı:

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

16.

Yazar

Egyed, Alexander. editor.

Format:

Electronic Resources

Alıntı:

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

	{displayName}	{count}
{error}