Parcourir par auteur Hallé, Sylvain

Regrouper par Type | Sans regrouement
Aller à Thèse ou essai doctoral accepté

Nombre de documents archivés : 1.

Thèse ou essai doctoral accepté

Hallé, Sylvain (2008). « Spécification, validation et satisfiabilité [i.e. satisfaisabilité] de contraintes hybrides par réduction à la logique temporelle » Thèse. Montréal (Québec, Canada), Université du Québec à Montréal, Doctorat en informatique.

Cette liste a été générée le Wed Feb 12 18:14:46 2025 EST.