Search Results for Dynamics.

Yazar

Dediu, Adrian-Horia. editor.

Format:

Electronic Resources

Alıntı:

dynamics; term rewriting; transducers; trees, tree languages and tree automata; weighted automata.

Yazar

Bartocci, Ezio. editor. (orcid)0000-0002-8004-6601

Format:

Electronic Resources

Alıntı:

model repair for probabilistic systems, runtime verification, model checking, cardiac dynamics

Yazar

Castillo-Ramirez, Alonso. editor. (orcid)0000-0002-2020-8699

Format:

Electronic Resources

Alıntı:

submissions. The topics of the conference include deal with dynamical, topological, ergodic and algebraic

Yazar

Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792

Format:

Electronic Resources

Alıntı:

-- Safety and Fault-Tolerant Systems -- Digital Bifurcation Analysis of TCP Dynamics -- Verifying Safety of

	{displayName}	{count}
{error}