Buscas alternativas:
parallel methodology » cradle methodology (Expandir a busca), problem methodology (Expandir a busca), agile methodology (Expandir a busca)
methodology logic » methodology music (Expandir a busca), methodology device (Expandir a busca), methodology social (Expandir a busca)
parallel methodology » cradle methodology (Expandir a busca), problem methodology (Expandir a busca), agile methodology (Expandir a busca)
methodology logic » methodology music (Expandir a busca), methodology device (Expandir a busca), methodology social (Expandir a busca)
1
“... controller programming, they are still programmed by conventional trial-and-error methods and, in practice...”
Metodologia para modelagem, validação e programação de controladores lógicos industriais usando statecharts básicos
Tese
2
Assuntos:
“...Lógica linear temporal...”
Detecção automática de violações de propriedades de sistemas concorrentes em tempo de execução.
Dissertação
3
Assuntos:
“...Lógica linear temporal...”
Detecção automática de violações de propriedades de sistemas concorrentes em tempo de execução.
Dissertação