A. Sallah, Ismail Berrada, Patrick Félix, Richard Castanet, COMM : Timed diagnostics and test case minimization for real time systems

Publié le – Mis à jour le