Formal Design of Fault Detection and Identification Components Using Temporal Epistemic Logic

Imagen
Descripción	artículo científico publicado en 2014
Autoría	autor: Alessandro Cimatti  Marco Gario
Fecha de publicación	2014
Idioma	inglés
País de origen
Enlace a Wikipedia
Estatus de derecho de autor	Desconocido
¿Datos faltantes/errados?	Editar ítem de Wikidata