Search alternatives:
coder checking » code checking (Expand search), model checking (Expand search), body checking (Expand search)
checking code » checking models (Expand search), checking modelo (Expand search), checking covid (Expand search)
python python » pythons python (Expand search), piton python (Expand search), pitons python (Expand search)
code program » code programs (Expand search), cove program (Expand search), coppe program (Expand search)
manim python » monty python (Expand search), api python (Expand search)
coder coder » coder decoder (Expand search), code code (Expand search), decoder codec (Expand search)
coder checking » code checking (Expand search), model checking (Expand search), body checking (Expand search)
checking code » checking models (Expand search), checking modelo (Expand search), checking covid (Expand search)
python python » pythons python (Expand search), piton python (Expand search), pitons python (Expand search)
code program » code programs (Expand search), cove program (Expand search), coppe program (Expand search)
manim python » monty python (Expand search), api python (Expand search)
coder coder » coder decoder (Expand search), code code (Expand search), decoder codec (Expand search)
1
2
3
4
5
6
7
Subjects:
“...Architectural design. Performance of building. ABNT NBR 15575. BIM. Code checking....”
Access document
Access document
Article
8
Verificação de sistemas de software baseada em transformações de código usando Bounded Model Checking
Subjects:
“...Invariantes de Programas...”Access document
Doctoral thesis
9
10
11
12
13
14
15
16
17
18
19
20