Biblioteca da Universidade do Minho

Your cart is empty.

Your search returned 2 results. Subscribe to this search

|
No cover image available
Model checking of petri nets for embedded systems / Óscar Rafael da Silva Ferreira Ribeiro Monografia Publication Braga : [s.n.], 2005 Description 77 p. : il. ; 24 cm LocationBiblioteca da UMinho no Campus de Azurém Availability Available (1).

Place hold Add to cart
No cover image available
Animation-based validation of reactive software systems using behavioural models [Documento electrónico] / Óscar Rafael da Silva Ferreira Ribeiro ; orient. João Miguel Lobo Fernandes Monografia Publication Braga : [s.n.], 2009 Online resource Versão electrónica. Acesso livre Availability No copies available

Add to cart