Search alternatives:
implementation models » implementation model (Expand search), implementation of (Expand search), implementation and (Expand search)
coder implementation » code implementation (Expand search), decoder implementation (Expand search), model implementation (Expand search)
pythons python » pitons python (Expand search), piton python (Expand search)
coder program » cooper program (Expand search), proder program (Expand search), closer program (Expand search)
python python » piton python (Expand search), pitons python (Expand search), pytm python (Expand search)
models coder » models under (Expand search), model code (Expand search), models model (Expand search)
in pythons » in python (Expand search), on python (Expand search), in pybthon (Expand search)
implementation models » implementation model (Expand search), implementation of (Expand search), implementation and (Expand search)
coder implementation » code implementation (Expand search), decoder implementation (Expand search), model implementation (Expand search)
pythons python » pitons python (Expand search), piton python (Expand search)
coder program » cooper program (Expand search), proder program (Expand search), closer program (Expand search)
python python » piton python (Expand search), pitons python (Expand search), pytm python (Expand search)
models coder » models under (Expand search), model code (Expand search), models model (Expand search)
in pythons » in python (Expand search), on python (Expand search), in pybthon (Expand search)
1
2
“...-annotated Java code for all the considered Event-B models that serve as final implementation. We also used...”
Access document
Access document
3
4
“... of one of them. Such an implementation converts Ladder code to Colored Petri Nets model....”
Access document
Access document
5
6
7
“...The MAP Doctoral Program in Computer Science of the Universities of Minho, Aveiro and Porto...”
Access document
Access document
8
Subjects:
“...[en] CONSTITUTIVE MODELS...”
Access document (1)
Access document (2)
Access document (3)
Access document (1)
Access document (2)
Access document (3)
Doctoral thesis
9
“... em Python, para a criação de modelos de subdivisões planares. A estratégia se dá na forma de uma biblioteca...”
Access document (1)
Access document (2)
Access document (3)
Access document (1)
Access document (2)
Access document (3)
Doctoral thesis
10
“... work aims at the implementation of a computational code, with the purpose of analyzing and comparing...”
Access document
Access document
Article
11
12
13
Subjects:
“...[pt] ESTABILIDADE DE PROGRAMAS...”
Access document (1)
Access document (2)
Access document (3)
Access document (1)
Access document (2)
Access document (3)
Doctoral thesis
14
15
16
17
18
19
“... estes muito mais expeditos e económicos. Hoje em dia, a utilização de programas de simulação baseados no método dos elementos...”
Access document
Access document
Master thesis
20