Search Results for 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

10.

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

11.

Yazar

Mazzara, Manuel. editor.

Format:

Electronic Resources

Alıntı:

-- Maximally-Polyvariant Partial Evaluation in Polynomial Time -- Dynamics Security Policies and Process Opacity for Timed

12.

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}