Explore projects

Scientific programming for Engineers - MATH 611 @epfl

Source code for the OACCT project https://www.swissuniversities.ch/fr/p-5-services/oa-compliance-check-tool

See also https://www.youtube.com/watch?v=b5oaRitCRqI

The first real-time VDM-based navigation prototype