Browsing by Subject NuSMV
Showing results 1 to 1 of 1
| Issue Date | Title | Author(s) |
|---|---|---|
| 2016 | Modelagem e verificação automática de um protocolo de controle de fluxo adaptativo usando traços de execução. | MOREIRA, Anne Lorayne Gerônimo Silva Augusto. |