Formalizing Incremental Design in Real-time Area: SCTL/MUS-T.

Ana Fernndez Vilas, Jos Juan Pazos-Arias, Rebeca P. Daz Redondo, Ana Beln Barragns-Martnez

Browse the full COMPSAC paper archive.