Research
Publication (Conferences and Seminars)
Construction of Verified Models for Systems Represented as Networks
-
Yagüe Panadero, Agustín; Garbajosa Sopeña, Juan; Lisounkin, A.; Schreck, G.
- Year:
- 2004
- Type of Publication:
- Conferences and Seminars
- Keywords:
- Construction, models, networks, represented, systems, verified
- ISBN:
- 9728865023
Research groups
Estrategic Areas
Contact
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