Periodo de publicación recogido
|
|
|
Entorno de soporte para el autoaprendizaje en el diseño de circuitos digitales
David Bañeres, I. Bermejo, Robert Clarisó Viladrosa, Josep Jorba Esteve, Montse Serra Vizern, Francesc Santanach, A. Rodríguez
XVII Jornadas de Enseñanza Universitaria de la Informática: JENUI 2011 : Actas : Sevilla, 5 al 8 de julio de 2011 / coord. por Antonia Chávez, Francisco Gómez, José Ramón Portillo Fernández, Agustín Riscos, 2011, ISBN 978-84-694-5156-4, págs. 471-478
UMLtoCSP: una herramienta para la verificación de modelos UML/OCL mediante Constraint Programming
Jordi Cabot, Robert Clarisó Viladrosa, Patricia de la Fuente, Daniel Riera i Terrén
Actas de las XII Jornadas de Ingeniería del Software y Bases de Datos / Xavier Franch (ed. lit.), 2007, ISBN 978-84-9732-595-0, págs. 385-386
Abstract interpretation techniques for the verification of timed systems
Robert Clarisó Viladrosa
Tesis doctoral dirigida por Jordi Cortadella Fortuny (dir. tes.). Universitat Politècnica de Catalunya (UPC) (2005).
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