68HC30PE
Simulator voor het ontwikkelen en testen van programma's geschreven in Assembler voor de 68HC11 Micro-controller ...
130 KB
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