Um método para o desenvolvimento e certificação de software de sistemas embarcados baseado em redes de petri coloridas e casos de garantia.
Submitted by Kilvya Braga (kilvyabraga@hotmail.com) on 2018-05-14T12:42:51Z No. of bitstreams: 1 ÁLVARO ÁLVARES DE CARVALHO CÉSAR SOBRINHO - TESE (PPGCC) 2016.pdf: 17134758 bytes, checksum: 9420a0e5c444740bf9e0d441542a3714 (MD5) === Made available in DSpace on 2018-05-14T12:42:51Z (GMT). No. of bi...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | Portuguese |
| Published: |
Universidade Federal de Campina Grande
2016
|
| Subjects: | |
| Online Access: | http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/660 |