Buscas alternativas:
verification algorithm » elimination algorithm (Expandir a busca), identification algorithms (Expandir a busca), classification algorithm (Expandir a busca)
program verification » formal verification (Expandir a busca), program vaccination (Expandir a busca)
learning program » training program (Expandir a busca), learning problems (Expandir a busca), learning process (Expandir a busca)
algorithm using » algorithms using (Expandir a busca), algorithm design (Expandir a busca)
using methods » tuning methods (Expandir a busca), costing methods (Expandir a busca), testing methods (Expandir a busca)
verification algorithm » elimination algorithm (Expandir a busca), identification algorithms (Expandir a busca), classification algorithm (Expandir a busca)
program verification » formal verification (Expandir a busca), program vaccination (Expandir a busca)
learning program » training program (Expandir a busca), learning problems (Expandir a busca), learning process (Expandir a busca)
algorithm using » algorithms using (Expandir a busca), algorithm design (Expandir a busca)
using methods » tuning methods (Expandir a busca), costing methods (Expandir a busca), testing methods (Expandir a busca)
1
Assuntos:
“...formal methods...”
Verification of behaviourist multi-agent systems by means of formally guided simulations
Tese