Search

Filters

Use filters to refine the search results.

Now showing items 1-6 of 6

Experiment with a type-theoretic approach to the verification of model transformations

Calegari, Daniel; Luna, Carlos; Szasz, Nora; Tasistro, Álvaro (Universidad ORT Uruguay. Facultad de Ingeniería, 2009)
Especificación del comportamiento de líneas de productos mediante modelos de funcionalidades y máquinas de estados con variabilidades

Luna, Carlos; González, Ariel (Universidad ORT Uruguay. Facultad de Ingeniería, 2007)
Extended UML stratecharts and product lines

González, Ariel; Luna, Carlos (Universidad ORT Uruguay. Facultad de Ingeniería, 2009)
Propuesta de fórmulas para sistemas de segundo orden

Fonseca de Oliveira, André (Universidad ORT Uruguay. Facultad de Ingeniería, 2006)
Estudio de modelos de error cuántico

Buksman, Efrain; Fonseca de Oliveira, André (Universidad ORT Uruguay. Facultad de Ingeniería, 2007)
Simulación de errores cuánticos en el ambiente Scilab

Fonseca de Oliveira, André; Buksman, Efrain (Universidad ORT Uruguay. Facultad de Ingeniería, 2007)

Now showing items 1-6 of 6