Browsing by Subject Verificação funcional - metodologia
Showing results 1 to 1 of 1
| Issue Date | Title | Author(s) |
|---|---|---|
| 16-May-2008 | DigiSeal - um estudo de caso para modelagem de transações temporais assíncronas na metodologia VeriSC. | ROCHA, Ana Karina de Oliveira. |