Identifiant pérenne de la notice : 082022658
Notice de type
Personne
Vérification formelle dans le modèle polyédrique/par Katell-Morin-Allory ; sous la
dir. de Patrice Quinton [Thèse]
Vérification semi-formelle et synthèse automatique de circuits à partir de spécifications
temporelles écrites en PSL[Thèse imprimée 2009] / Yann Oddos