Buscas alternativas:
verification programming » application programming (Expandir a busca), application programing (Expandir a busca), certification program (Expandir a busca)
parallel formal » parallel fiscal (Expandir a busca)
verification programming » application programming (Expandir a busca), application programing (Expandir a busca), certification program (Expandir a busca)
parallel formal » parallel fiscal (Expandir a busca)
1
Assuntos:
“...Formal methods...”
Contratos formais para derivação e verificação de componentes paralelos
Dissertação
2
Assuntos:
“...Validation and verification...”
Metodologia para modelagem, validação e programação de controladores lógicos industriais usando statecharts básicos
Tese