Méthodes formelles et temps-réel / Dider Bégay, Jean-Pierre Radoux, 1995
Réalité augmentée et simulations numériques dans la résection des tumeurs hépatiques
/ par Rosalie Plantefève ; sous la direction de Stéphane Cotin et la co-direction
de Jean-Pierre Radoux, 2016 [thèse, Lille 1]
Utilisation de transitions finis pour la conception et le développement d'un système
embarqué / par Jean-Pierre Radoux [thèse]