InstitucionesPeriodo de publicación recogido
|
|
|
A Model-Driven Approach to Constructing Robotic Systems
Claudia Pons, Gabriela Pérez, Roxana Silvia Giandini, Gabriel Baum
Journal of Computer Science and Technology, ISSN-e 1666-6038, Vol. 14, Nº. 1, 2014, págs. 1-8
Verifying BON models with alloy
Ramiro Adrián Demasi, Pablo Daniel Ponzio, Pablo Francisco Castro, Gabriel Baum
Journal of Computer Science and Technology, ISSN-e 1666-6038, Vol. 5, Nº. 4, 2005 (Ejemplar dedicado a: Sixteenth Issue), págs. 292-298
Translating fork specifications into logic programs
Gabriel Baum, Nazareno Matías Aguirre, Marcelo Arroyo
Journal of Computer Science and Technology, ISSN-e 1666-6038, Vol. 1, Nº. 4, 2001 (Ejemplar dedicado a: Fourth Issue; 3 p.)
Model evolution and system evolution
Claudia Pons, Gabriel Baum, Ralf-Detlef Kutsche
Journal of Computer Science and Technology, ISSN-e 1666-6038, Vol. 1, Nº. 3, 2000 (Ejemplar dedicado a: Third Issue; 18 p.)
Esta página recoge referencias bibliográficas de materiales disponibles en los fondos de las Bibliotecas que participan en Dialnet. En ningún caso se trata de una página que recoja la producción bibliográfica de un autor de manera exhaustiva. Nos gustaría que los datos aparecieran de la manera más correcta posible, de manera que si detecta algún error en la información que facilitamos, puede hacernos llegar su Sugerencia / Errata.
© 2001-2024 Fundación Dialnet · Todos los derechos reservados