english Icono del idioma   español Icono del idioma  

  1. Colibri
  2. Facultad de Ingeniería

Buscar

Búsqueda avanzada

Filtros actuales:
Comenzar una nueva búsqueda
Agregar filtros:

Usar filtros para refinar el resultado de la búsqueda.

 | 
Resultados 1-10 de 20.
Resultados por ítem:
Fecha de publicaciónTítuloAutor(es)
2014Formal analysis of security models for mobile devices, virtualization platforms and domain name systemsLuna, Carlos
2014Formalizing alternating-time temporal logic in the coq proof assistantLuna, Carlos; Sierra, Luis; Zanarini, Dante
2000Especificación y análisis de sistemas de tiempo real en teoría de tipos. Caso de estudio : the railroad crossing exampleLuna, Carlos
2010Estado del arte de verificación de transformación de modelosLópez, Horacio; Varesi, Fernando; Viñolo, Marcelo; Calegari, Daniel; Luna, Carlos
2009Autorización de Acceso en MIDP 3.0Mazeikis, Gustavo; Luna, Carlos
2010Representation of metamodels using inductive types in a type-theoretic framework for MDECalegari García, Daniel; Luna, Carlos; Szasz, Nora; Tasistro, Alvaro
2009Estado del arte de lenguajes y herramientas de transformación de modelosLópez, Horacio; Veresi, Fernando; Viñolo, Marcelo; Calegari, Daniel; Luna, Carlos
2012Modelos de memoria en entornos de virtualizaciónChimento, Jesús Mauricio Martín; Luna, Carlos; Betarte, Gustavo; Campo, Juan Diego
2005Programación 2 :experiencias y propuestasAlliaume, Javier; Luna, Carlos; Pedemonte, Martín; Viera, Marcos
2008Hacia una especificación formal del modelo de seguridad de MIDP 3.0Mazeikis, Gustavo; Betarte, Gustavo; Luna, Carlos

Descubrir