Explore la modélisation physique et numérique dans l'hydraulique fluviale, en mettant l'accent sur les constructions hydrauliques et la loi de similitude.
Explore les techniques de test logiciel avancées, y compris les tests basés sur les propriétés, pour assurer l'exactitude du code et améliorer la qualité du logiciel.
Explore des techniques de test logiciel avancées, y compris les tests basés sur les propriétés et diverses formes de fuzzing, pour tester efficacement des systèmes complexes.
Couvre les directives de mini-test et le concept de moment d'inertie pour diverses formes, y compris des démonstrations pratiques sur les forces gyroscopiques.
