Buscas alternativas:
bounded » grounded (Expandir a busca)
founded » grounded (Expandir a busca)
Mostrando 1 - 20 resultados de 7.826 para a busca '(bounded OR founded)', tempo de busca: 0,18s

1

Assuntos: ...Bounded time series...

Essays on bounded time series

Publicado em 2019
Tese

7

..., a temporal extension of OCL is proposed. It enriches the ontologically well-founded OntoUML profile and...

Representing dynamic invariants in ontologically well-founded conceptual models

Publicado em 2015
Dissertação

9

... de reflexividade − bounded agency (MACDONALD; MARSH, 2005; SCHOON; PETER; ROSS, 2012) −, com impactos sobre...

[en] BOUNDED CAREERS: RECONSTRUCTING WORKING-CLASS CAREERS

Publicado em 2018
Tese

10

... algorithm. We also consider the issue of performing model selection with double bounded time series...

Essays on double bounded time series analysis

Publicado em 2022
Tese

11

Assuntos: ...Bounded model checking...

Geração de casos de teste usando Bounded Model Checking

Publicado em 2021
Dissertação

12

15

Assuntos: ...Efficient SMT-Based Context-Bounded Model Checker (ESBMC)...

BMCLua: Metodologia para Verificação de Códigos Lua utilizando Bounded Model Checking

Dissertação

17

..., denominado de BoundedModelChecking (BMC),esta tese apresenta um conjunto de métodos para complementar...

Verificação de sistemas de software baseada em transformações de código usando Bounded Model Checking

Publicado em 2015
Tese