Multicentric environment for medical image processing algorithms assessment
Automatic test data generation to cover exception-dependent paths using symbolic e...
Tool for modeling and development of software systems based on self-healing mechanism
Scientific communication under transformation: identifying needs and experimenting...
Analysis of reinforced concrete reservoirs using different models
System for detection and localized application of herbicides in sugarcane
A methodology to support reuse in the specification of performability models