Investigación
Publicación (Conferencias y Seminarios)
Construction of Verified Models for Systems Represented as Networks
-
Yagüe Panadero, Agustín; Garbajosa Sopeña, Juan; Lisounkin, A.; Schreck, G.
- Año:
- 2004
- Tipo de publicación:
- Conferencias y Seminarios
- Palabras clave:
- Construction, models, networks, represented, systems, verified
- ISBN:
- 9728865023
Grupos de Investigación
Áreas Estratégicas
Contacto
Edificio La Arboleda. Campus Sur UPM.
Calle Alan Turing 3
28031 Madrid
Email: web.citsem@upm.es
Tfno: +34 9106 78762
Website: www.citsem.upm.es