Data | Título | Autor(es) | Tipo | Acesso |
22-Dez-2009 | Animation-based validation of reactive software systems using behavioural models | Ribeiro, Óscar R. | Tese de doutoramento | Acesso aberto |
Mai-2007 | Designing tool support for translating use cases and UML 2.0 Sequence Diagrams into a Coloured Petri Net | Fernandes, João M.; Tjell, Simon; Jorgensen, Jens B., et al. | Artigo em ata de conferência | Acesso aberto |
Abr-2005 | Model checking embedded systems with PROMELA | Ribeiro, Óscar R.; Fernandes, João M.; Pinto, Luís F. | Artigo em ata de conferência | Acesso aberto |
2010 | Prototipagem rápida de ambientes ubíquos | Silva, José Luís Cardoso; Ribeiro, Óscar R.; Campos, J. Creissac, et al. | Artigo em ata de conferência | Acesso aberto |
16-Nov-2010 | The APEX framework: prototyping of ubiquitous environments based on Petri Nets | Silva, José Luís Cardoso; Ribeiro, Óscar R.; Campos, J. Creissac, et al. | Artigo em ata de conferência | Acesso aberto |
Jul-2007 | Translating synchronous Petri Nets into PROMELA for verifying behavioural properties | Ribeiro, Óscar R.; Fernandes, João M. | Artigo em ata de conferência | Acesso aberto |
Set-2007 | Validation of reactive software from scenario-based models | Ribeiro, Óscar R.; Fernandes, João M. | Artigo em ata de conferência | Acesso aberto |
Set-2009 | Validation of scenario-based business requirements with Coloured Petri Nets | Ribeiro, Óscar R.; Fernandes, João M. | Artigo em ata de conferência | Acesso aberto |