Buscas alternativas:
linguagem pi » linguagem p4 (Expandir a busca), linguagem pre (Expandir a busca), linguagem pos (Expandir a busca)
linguagem pi » linguagem p4 (Expandir a busca), linguagem pre (Expandir a busca), linguagem pos (Expandir a busca)
1
Assuntos:
“...Linguagem pi-ADL...”
Verificação formal de Sistemas de Sistemas (SoS) modelados em diagramas de coreografia (BPMN) para detecção prévia de erros típicos de tempo de execução.
Dissertação