Biblioteca da Universidade do Minho

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

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

Main Author Ribeiro, Óscar R. Secondary Author Fernandes, João M. Corporate Author (Secondary) Universidade do Minho. Escola de Engenharia Country Portugal. Publication Braga : [s.n.], 2009 Dissertation Note or Thesis: CDU 681.3.06 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 de doutoramento Informática Escola de Engenharia da Universidade do Minho 2009

There are no comments for this item.

Log in to your account to post a comment.