Web Map
Location
News
Santander Info
|
GIM>Research>Publications |
PUBLICATIONS in which "Eduardo de las Heras" participates ordered by research line |
|
Design and verification of HW/SW embedded systems |
|
E. Villar, E. de las Heras
"SystemC-AADL interoperability"
ECSI Industrial Workshop: “System Design in Avionics and Space Industry”, Barcelona. 2007-09 |
|
|
|
|
E. de las Heras, E. Villar
"Specification for SystemC-AADL interoperability"
IEEE Proceedings of the 5th International Workshop on Intelligent Solutions in Embedded Systems (WISES’07). 2007-06 |
|
|
|
|
E. de las Heras, E. Villar
"UC Contribution to D2.1: Definition of Semantic for AADL"
Deriverable D2.1 of the SPICES project. 2007-02 |
|
|
|
|
|