Buscas alternativas:
parallel checking » parallel blocking (Expandir a busca), parallel reading (Expandir a busca), parallel teaching (Expandir a busca)
user programming » linear programming (Expandir a busca), computer programming (Expandir a busca), math programming (Expandir a busca)
checking user » checking the (Expandir a busca), checking cspz (Expandir a busca)
parallel checking » parallel blocking (Expandir a busca), parallel reading (Expandir a busca), parallel teaching (Expandir a busca)
user programming » linear programming (Expandir a busca), computer programming (Expandir a busca), math programming (Expandir a busca)
checking user » checking the (Expandir a busca), checking cspz (Expandir a busca)
1
Assuntos:
“...Model checking...”
Verificação abstrata de propriedades dramáticas contínuas em eventos não determinísticos
Dissertação