Universidad de la República

Betarte Guidi, Gustavo 7 Luna, Carlos 2 Campo, Juan Diego 2 Corti, María Eugenia 2 Rodríguez Da Silva, Marcelo Paul 1 Arbilla, Laura 1 Bermúdez, Laura 1 Blanco, Alejandro 1 Bove, Ana 1 Cabezas, Juan José 1 Cancela, Héctor 1 Carpani, Fernando 1 Chimento, Jesús Mauricio Martín 1 Cornes, Cristina más ... 1 Crespo, Juan Manuel 1 Giménez, Eduardo 1 Gonnet, Gastón 1 González, Juan 1 Goyoaga, Joaquín 1 Holz, Ida 1 Mazeikis, Gustavo 1 Roushani Oskui, Ramin 1 Ruggia, Raúl 1 Sierra Abbate, Luis Ricardo 1 Tasistro, Alvaro 1 Urquhart, María E 1 Vidart, Jorge 1 Viola, Alfredo 1 Zanella Béguelin, Santiago 1 Zipitría, Felipe ver todos ... menos ...

Reporte técnico

3 Java Micro Edition 2 Calculus of Inductive Constructions 2 Coq 2 Interactive Mobile Devices 2 Virtualización 1 Correctness Proofs 1 Especificaciones Formales 1 Especificación y Prueba Asistida de Propiedades. 1 Formal Methods 1 Formal specification 1 Historia de Instituto de Computación 1 Historia de la Computación en Uruguay 1 Hypercall 1 Information Integrity más ... 1 Laboratorio de Seguridad Informática 1 MIDP 1 MIDP 2.0 1 Mobile Information Device Profile 1 Model Checking 1 Modelo de Seguridad 1 Monitor de Máquinas Virtuales 1 Máquina Virtual 1 Métodos Formales 1 Security 1 Seguridad Informática 1 Seguridad de la Información 1 Software Program Verification 1 Verificación de Sistemas Embebidos ver todos ... menos ...