Browsing by Subject Verificação Formal
Showing results 1 to 2 of 2
| Issue Date | Title | Author(s) |
|---|---|---|
| 24-Oct-2003 | Contribuição ao uso de métodos formais no estudo de circuitos de eletrônica de potência. | MIRANDA, Márcia Verônica Costa. |
| 27-Feb-2006 | Modelagem executável de sistemas distribuídos em JAVA. | ASSIS, Afrânio Mangueira Lima de. |