Ana Fernández Vilas, José J. Pazos Arias, Rebeca P. Díaz Redondo, Ana Belén Barragáns-Martínez. Formalizing Incremental Design in Real-time Area: SCTL/MUS-T. In 26th International Computer Software and Applications Conference (COMPSAC 2002), Prolonging Software Life: Development and Redevelopment, 26-29 August 2002, Oxford, England, Proceedings. pages 659-666, IEEE Computer Society, 2002. [doi]
Abstract is missing.