Formalizing incremental design in real-time area: SCTL/MUS-T

  1. Vilas, A.F.
  2. Arias, J.J.P.
  3. Díaz Redondo, R.P.
  4. Martínez, A.B.B.
Actas:
Proceedings - IEEE Computer Society's International Computer Software and Applications Conference

ISSN: 0730-3157

ISBN: 0-7695-1727-7

Ano de publicación: 2002

Páxinas: 659-664

Tipo: Achega congreso

DOI: 10.1109/CMPSAC.2002.1045078 GOOGLE SCHOLAR
Fonte de datos: Scopus