1
Assuntos:
“...Especificação formal...”
InRob - uma abordagem para testes de interoperabilidade e de robustez de subsistemas de tempo-real intensivos em software.
Tese
2
Assuntos:
“...Especificação de interações entre features...”
Feature interactions in highly configurable systems : a dynamic analysis approach with VarXplorer
Tese