Uppaal.
Lingkungan alat terintegrasi untuk pemodelan, validasi dan verifikasi sistem real-time ...
6.7 MB
Lingkungan alat terintegrasi untuk pemodelan, validasi dan verifikasi sistem real-time ...
6.7 MB
Orsa memungkinkan secara akurat mensimulasikan dinamika pesawat ruang angkasa yang mengorbit asteroid vesta ...
20.3 MB
Tentang kami