Matthias Volk

Une méthode pour calculer des probabilités dans des systèmes avec un timing d'observations incertain.

Examiner les nouvelles avancées dans les outils pour vérifier des systèmes complexes.