Formalizing incremental design in real-time area: SCTL/MUS-T
- Vilas, A.F.
- Arias, J.J.P.
- Díaz Redondo, R.P.
- Martínez, A.B.B.
ISSN: 0730-3157
ISBN: 0-7695-1727-7
Año de publicación: 2002
Páginas: 659-664
Tipo: Aportación congreso
ISSN: 0730-3157
ISBN: 0-7695-1727-7
Año de publicación: 2002
Páginas: 659-664
Tipo: Aportación congreso