An integrated environment for verification and test of fault-tolerant components...

Verification system development a dosimetric tridimensional using Solution Fricke...

Comparative study of procedures of the Service of Verification of Deaths (SVO-TO)...

Noise in school environment: development and verification of the efficacy of an auditory...

Test environment using property checking of Java components with exception handl...

Statistical methods for cDNA microarray data analysis in an integrated computational...

Statistical methods for cDNA microarray data analysis in an integrated computational...

InGriDE: an integrated and extensible development environment for grid computing

PATO: an integrated enviroment with GUI to data curation of biological sequences

Evaluation of an integrated computerized environment for engineered-to-order product...