A Study of the Use of Java Pathfinder on Verification and Validation of Spatial So...
Computer-aided validation and verification of mission critical systems
Design of the system for EQUARS mission and microsatellite plataform
ISMMCD - Integrated System for Monitoring and Management of Children Development
Research and development of embedded software for the PLATO mission
Algebraic Formal Methods for Invariant Generation.
A method to accelerate floating point algorithms in FPGAs