• JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
Início Director Nombre
Português (Brasil)English (United Kingdom)Español(Spanish Formal International)French (Fr)

Melo, Ana Cristina Vieira de

  
 
Gráficos Estadísticos
Resultados: Listando 10 de 10 en la página 1 de 1
<<< Inicio << Anterior 1 Siguiente >> Fin >>> 
Nombre
Título
Área
Documento
Facultad
Año
Generation of Java program properties from test purposes
An integrated environment for verification and test of fault-tolerant components...
Testing and formal verification of the exceptional behavior of Java programs
A framework for exception handling coordination in fault-tolerant systems
Verification of behaviourist multi-agent systems by means of formally guided sim...
Test environment using property checking of Java components with exception handl...
<<< Inicio << Anterior 1 Siguiente >> Fin >>> 
Resultados: Listando 10 de 10 en la página 1 de 1
Copyright © 2020 Biblioteca Digital de Teses e Dissertações da USP. Todos los derechos reservados.