2001 | ||
---|---|---|
2 | EE | J. Serrano, D. Ravier, J. Fraga, Vicente Orjales, Anastasio Molano: GEODAS: An Industrial Experience with Component Frameworks for Data Acquisition and Analysis Systems. EUROMICRO 2001: 72-79 |
1998 | ||
1 | Gabriel Huecas, Tomás Robles, L. M. Gonzalez, J. Serrano: Development of a Validation System based on Formal Description Techniques: Application to an Ada Run Time System. FORTE 1998: 283-307 |
1 | J. Fraga | [2] |
2 | L. M. Gonzalez | [1] |
3 | Gabriel Huecas | [1] |
4 | Anastasio Molano | [2] |
5 | Vicente Orjales | [2] |
6 | D. Ravier | [2] |
7 | Tomás Robles | [1] |