1
“... an increasing demand on implementing efficient parallel programming techniques. This entails new challenges...”
Structural testing criteria for concurrent programs considering loop execution
Dissertação
2
“..., which are used for classifying and describing different kind of system behavior, particularly in the...”
Metodologia para modelagem, validação e programação de controladores lógicos industriais usando statecharts básicos
Tese