Biblioteca da Universidade do Minho

Your cart is empty.
No cover image available
Normal view MARC view ISBD view

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

Main Author Machado, José Mendes Secondary Author Lesage, Jean-Jacques
Silva, Jaime F. da Corporate Author (Secondary) Ecole Normale Supérieure de Cachan. Laboratoire Universitaire de Recherche en Production Automatisée
Universidade do Minho. Escola de Engenharia Country Portugal. Publication [S.l. : s.n.], 2006 Dissertation Note or Thesis: CDU 681.5 Online resource Versão electrónica. Acesso livre
Tags from this library: No tags from this library for this title. Log in to add tags.
    average rating: 0.0 (0 votes)
No physical items for this record

Descrição baseada no documento electrónico

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.

Log in to your account to post a comment.