Verificação de sistemas dependentes do tempo a partir de especificações escritas em RT-LOTOS
DSpace Repository
Verificação de sistemas dependentes do tempo a partir de especificações escritas em RT-LOTOS
| Title: | Verificação de sistemas dependentes do tempo a partir de especificações escritas em RT-LOTOS |
| Author: | Martins, Ricardo Ferreira |
| URI: | https://repositorio.ufsc.br/handle/123456789/111574 |
| Date: | 1996 |
Files in this item
| Files | Size | Format | View |
|---|---|---|---|
| 103500.pdf | 3.999Mb |
View/ |
