Search alternatives:
based computational » and computational (Expand search), by computational (Expand search)
computational coder » computational code (Expand search), computational codes (Expand search), computational model (Expand search)
execution program » execution problem (Expand search), execution problems (Expand search), execution process (Expand search)
coder execution » code execution (Expand search), model execution (Expand search), over execution (Expand search)
codium python » codigo python (Expand search), codigos python (Expand search)
python python » pythons python (Expand search), piton python (Expand search), pitons python (Expand search)
using codium » using sodium (Expand search), using medium (Expand search), using cerium (Expand search)
based computational » and computational (Expand search), by computational (Expand search)
computational coder » computational code (Expand search), computational codes (Expand search), computational model (Expand search)
execution program » execution problem (Expand search), execution problems (Expand search), execution process (Expand search)
coder execution » code execution (Expand search), model execution (Expand search), over execution (Expand search)
codium python » codigo python (Expand search), codigos python (Expand search)
python python » pythons python (Expand search), piton python (Expand search), pitons python (Expand search)
using codium » using sodium (Expand search), using medium (Expand search), using cerium (Expand search)
1
2
“...This article presents a semantics-based program verification framework for critical embedded real...”
Access document (1)
Access document (2)
Access document (1)
Access document (2)
Article
3
4
5
“...Ã foi desenvolvido neste trabalho um programa computacional na linguagem Java que sistematizou a metodologia...”
Access document
Access document
Master thesis
6
“... e a Tecnologia (FCT) program, in the framework of project Center of Technology and Systems (CTS) UIDB/00066/2020...”
Access document
Access document
Article
7
8
9
“... como a execução de um programa com determinadas entradas e verificação da consonância das saídas com as saídas...”
Access document
Access document
Master thesis
10
11
“... de pesquisa teve como objetivo o desenvolvimento de um programa computacional em linguagem python...”
Access document
Access document
Bachelor thesis
12
13
“...Uma metodologia para desenvolvimento de programas paralelos eficientes deve especificar mecanismos...”
Access document
Access document
Doctoral thesis
14
“... of alternative programs, called mutants, which differ from the original program at a particular point in the code...”
Access document
Access document
Master thesis