Modelización formal y verificación automática de sistemas de tiempo real

Los sistemas de tiempo-real son sistemas en los cuales el tiempo juega un rol fundamental. Ejemplos de estos sistemas son los controles automáticos de navegación de aviones, los protocolos de comunicación, los procesos industriales automatizados, cajeros automáticos, controladores de radar, etc. El...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Olivero, Alfredo, Gaudiani, Adriana, Maidana, Gabriela
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2000
Materias:
Ciencias Informáticas
Sistemas de tiempo-real
Formal models
Modelización y verificación formal
Real time
Herramientas de verificación automática
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/22160
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata

Ejemplares similares

Ejemplares similares