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
Year of publication: 2002
Pages: 659-664
Type: Conference paper
ISSN: 0730-3157
ISBN: 0-7695-1727-7
Year of publication: 2002
Pages: 659-664
Type: Conference paper