Refinar búsqueda

Fecha de publicación

Disciplinas

Tipo de documento

Artículos

3

Tipo de acceso

Idioma

Inglés

3

Autor

Palabras clave

Buscar

Filtros

Use los filtros para refinar su búsqueda.

Filtro actual:


Nuevo filtro:

Autor:Cristiá, Maximiliano X

Mostrando 3 de un total de 3 resultados. (0.009 segundos)

Mostrando ítems 1-3 de 3

1

Artículo

A family of simulation criteria to guide DEVS models validation rigorously, systematically and semi-automatically

Hollmann, Diego Ariel ; Cristiá, Maximiliano ; Frydman, Claudia Sabrina (Elsevier, 2014-08-27)
Ciencias de la Computación. Ciencias de la Computación e Información. Ciencias Naturales Y Exactas
Artículo

Proof Automation in the Theory of Finite Sets and Finite Set Relation Algebra

Cristiá, Maximiliano ; Katz, Ricardo David ; Rossi, Gianfranco (Oxford University Press, 2021-05)
Otras Ciencias de la Computación e Información. Ciencias de la Computación e Información. Ciencias Naturales Y Exactas
Artículo

CML-DEVS: a specification language for DEVS conceptual models

Hollmann, Diego Ariel ; Cristiá, Maximiliano ; Frydman, Claudia (Elsevier Science, 2015-09)
Ciencias de la Computación. Ciencias de la Computación e Información. Ciencias Naturales Y Exactas

Mostrando ítems 1-3 de 3

1