Buscas alternativas:
execution algorithm » selection algorithm (Expandir a busca), detection algorithm (Expandir a busca), evolution algorithm (Expandir a busca)
program execution » programa executivo (Expandir a busca), program education (Expandir a busca), program evaluation (Expandir a busca)
algorithm using » algorithms using (Expandir a busca), algorithm design (Expandir a busca)
using method » using methods (Expandir a busca), tuning method (Expandir a busca), dosing method (Expandir a busca)
execution algorithm » selection algorithm (Expandir a busca), detection algorithm (Expandir a busca), evolution algorithm (Expandir a busca)
program execution » programa executivo (Expandir a busca), program education (Expandir a busca), program evaluation (Expandir a busca)
algorithm using » algorithms using (Expandir a busca), algorithm design (Expandir a busca)
using method » using methods (Expandir a busca), tuning method (Expandir a busca), dosing method (Expandir a busca)
1
Assuntos:
“...formal methods...”
Verification of behaviourist multi-agent systems by means of formally guided simulations
Tese
2
“...0 objetivo neste trabalho é apresentar um método para a verificação de programas a partir...”
Verificação automática de programas a partir da monitoração de múltiplas execuções de código.
Dissertação
3
“...0 objetivo neste trabalho é apresentar um método para a verificação de programas a partir...”
Verificação automática de programas a partir da monitoração de múltiplas execuções de código.
Dissertação