Modelagem, verificação formal e codificação de sistemas reativos autônomos
=== The computation systems are used in many areas, since bank account´s until patient's monitoring. Applications where human lives and high investments are critical, the system´s quality is fundamental to reduces or eliminate failures. The formal methods are used to describe parts of the syst...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | Portuguese |
| Published: |
Universidade Federal de Minas Gerais
2009
|
| Online Access: | http://hdl.handle.net/1843/RVMR-82UHY3 |