Listar por Materia REAL TIME SYSTEMS
Mostrando resultados 1 a 1 de 1
| Fecha de publicación | Título | Autor(es) |
|---|---|---|
| 2000 | Especificación y análisis de sistemas de tiempo real en teoría de tipos. Caso de estudio : the railroad crossing example | Luna, Carlos |