Uppaal
Een geïntegreerde gereedschapsomgeving voor modellering, validatie en verificatie van real-time systemen ...
6.7 MB
Een geïntegreerde gereedschapsomgeving voor modellering, validatie en verificatie van real-time systemen ...
6.7 MB
ORSA maakt het mogelijk om de dynamiek van een ruimtevaartuig die de Asteroïde Vesta nauwkeurig te simuleren ...
20.3 MB
NETCPPCALC is een nuttige, betrouwbare, veelzijdige en vrij geavanceerde wetenschappelijke rekenmachine ...
324 KB
ZANT4 is een toolkit voor de simulatie van de doorgang van deeltjes door de materie ...
24.9 MB
Over ons