Primary tabs
Most recent publications
Selected publications
Students under supervision
Available Master's topics
Status
Departments
Publication type
Year published
2016
Journal articles
Requirements Engineering (2016): 1-26.
Status: Published
Journal of Defense Modeling and Simulation (2016).
Status: Published
1998
Proceedings, refereed
In Algebraic Methodology and Software Technology, Proceedings of AMAST'98, Ariaú, Amazonas, Brasil, LNCS volume 1548. Lecture Notes in Computer Science. Springer-Verlag, 1998.
Status: Published

