Uppaal
Een geïntegreerde gereedschapsomgeving voor modellering, validatie en verificatie van real-time systemen ...
6.7 MB
Rendezvouswithvesta
ORSA maakt het mogelijk om de dynamiek van een ruimtevaartuig die de Asteroïde Vesta nauwkeurig te simuleren ...
20.3 MB
Netcppcalc
NETCPPCALC is een nuttige, betrouwbare, veelzijdige en vrij geavanceerde wetenschappelijke rekenmachine ...
324 KB