A framework for the specification and validation of Real Time Systems using Circus Action
Made available in DSpace on 2014-06-12T15:59:17Z (GMT). No. of bitstreams: 2 arquivo4988_1.pdf: 1332321 bytes, checksum: d7fe11f8136beac6845d4e2ab642bbda (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2006 === Circus é uma linguagem de especifi...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | Portuguese |
| Published: |
Universidade Federal de Pernambuco
2014
|
| Subjects: | |
| Online Access: | https://repositorio.ufpe.br/handle/123456789/2562 |