Dealing with uncertainty in verification of nondeterministic systems

Producción científica: Capítulo del libro/informe/acta de congresoContribución a la conferenciarevisión exhaustiva

4 Citas (Scopus)

Huella

Profundice en los temas de investigación de 'Dealing with uncertainty in verification of nondeterministic systems'. En conjunto forman una huella única.

Computer Science