Generación de monitores C embebidos para especificaciones Lola

En las últimas décadas se ha experimentado un gran crecimiento en el desarrollo de sistemas embebidos para diversas áreas de aplicación, muchas de las cuales involucran sistemas críticos donde resulta imprescindible proveer garantías de correctitud. Las técnicas de verificación formal clásicas, que...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Ramirez, Aldana
Otros Autores: Sánchez, César
Formato: bachelorThesis Tésis de Grado
Lenguaje:Español
Publicado: Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario 2022
Materias:
runtime verification
stream runtime verification
generación de código
lenguaje de dominio específico
programación funcional
Acceso en línea:http://hdl.handle.net/2133/25055
http://hdl.handle.net/2133/25055
Aporte de:
Repositorio Hipermedial de la Universidad Nacional de Rosario (UNR) de Universidad Nacional de Rosario

Ejemplares similares

Ejemplares similares