publicações selecionadas
-
artigo de conferência
- A formal approach for aerospace systems control considering SFC specification and C programming language 2011
- A formal approach for safe controllers analysis. Romanian Review Precision Mechanics, Optics and Mechatronics. 2010
- Abordagem sistemática para o controlo seguro de sistemas aeroespaciais 2010