1
Assuntos:
“...Especificação formal...”
AndroMDT : um método de testes funcionais dirigido por modelos para sistemas de software.
Dissertação
2
Assuntos:
“...Especificação formal...”
Um método para modelagem de sistemas aplicado a um air data system
Dissertação
3
Assuntos:
“...Especificação formal...”
InRob - uma abordagem para testes de interoperabilidade e de robustez de subsistemas de tempo-real intensivos em software.
Tese