Search: (more)
Header

Search Result

2014

BibTeX Search WWW PDF   [RSFB14]
A. Gerlinger Romero and K. Schneider and M. Gonçalves Vieira Ferreira and Y. Bai
Using the Base Semantics given by fUML for Verification
Presentation
BibTeX Search WWW PDF   [RoSF14b]
A. Gerlinger Romero and K. Schneider and M. Gonçalves Vieira Ferreira
Integrating UML Composite Structures and fUML
Presentation

2013

BibTeX Search WWW PDF   [RoSF13b]
A. Gerlinger Romero and K. Schneider and M. Gonçalves Vieira Ferreira
Synchronous Specialization of Alf for Cyber-Physical Systems
Presentation
BibTeX Search WWW PDF   [RoSF13c]
A. Gerlinger Romero and K. Schneider and M. Gonçalves Vieira Ferreira
Towards the Applicability of Alf to Model Cyber-Physical Systems
Presentation