Autor:	Gandrabur, Simona
Rok vydání:	2000
Předmět:	Temps réel Spécification et vérification formelles Interface matérielle
Druh dokumentu:	Other
Popis:	Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.
Databáze:	Networked Digital Library of Theses & Dissertations
Externí odkaz:	http://hdl.handle.net/1866/30784 Zobrazit plný text záznamu