Buscas alternativas:
parallel verification » parallel application (Expandir a busca)
verification methods » identification methods (Expandir a busca), verification methodology (Expandir a busca), classification methods (Expandir a busca)
methods programming » math programming (Expandir a busca), python programming (Expandir a busca), network programming (Expandir a busca)
parallel verification » parallel application (Expandir a busca)
verification methods » identification methods (Expandir a busca), verification methodology (Expandir a busca), classification methods (Expandir a busca)
methods programming » math programming (Expandir a busca), python programming (Expandir a busca), network programming (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