Write specifications using model checking
Mbyllur
Postuar
4 vite mё parё
Paguhet në dorëzim
$30-250 USD
Paguhet në dorëzim
Mbyllur
Paguhet në dorëzim
Writing spec using NuSMV or UPPAAL.
ID Projekti: #19301790
Rreth projektit
Projekti në distancë
Aktiv 4 vite mё parё