Influence de la prise en compte dun modèle du processus en vérification formelle des Systèmes à Evénements Discrets [Documento electrónico] / José Mendes Machado; orient. Jaime C. L. Ferreira da Silva, Jean-Jacques Lesage
Tese doutoramento Engenharia Mecânica (ramo de conhecimento em Eletrónica, Electrotecnia e Automação) Escola de Engenharia da Universidade do Minho 2006
There are no comments for this item.