Decomposition in Real-Time Safety-Critical Systems

Paul Mukherjee, Victoria Stavridou. Decomposition in Real-Time Safety-Critical Systems. Real-Time Systems, 14(2):183-202, 1998.

Abstract

Abstract is missing.