Um simulador para validação de sistemas dependentes de tempo descritos em RT-LOTOS
Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnologico === Made available in DSpace on 2016-01-08T22:28:04Z (GMT). No. of bitstreams: 1 108878.pdf: 2304607 bytes, checksum: 9e7404e6e48b5ebbcb49740813a04ab7 (MD5) Previous issue date: 1997 === Esta dissertação descreve u...
Main Author: | |
---|---|
Other Authors: | |
Format: | Others |
Language: | Portuguese |
Published: |
2016
|
Subjects: | |
Online Access: | https://repositorio.ufsc.br/xmlui/handle/123456789/158180 |