Buscas alternativas:
semantica operacional » memoria operacional (Expandir a busca), seguranca operacional (Expandir a busca), dinamica operacional (Expandir a busca)
semantica operacional » memoria operacional (Expandir a busca), seguranca operacional (Expandir a busca), dinamica operacional (Expandir a busca)
1
Assuntos:
“...Semântica operacional...”
Um verificador de modelos em K para um subconjunto da linguagem Circus
Dissertação
2
Assuntos:
“...Semantica operacional...”
Semantics for an algebraic specification language
Dissertação
3
Assuntos:
“...Semântica operacional estrutural modular...”
Uma implementação de semântica operacional estrutural modular em Maude
Dissertação