The dynamic flowgraph methodology for assessing the dependability of embedded software systems

Christopher James Garrett, Sergio B. Guarro, George E. Apostolakis. The dynamic flowgraph methodology for assessing the dependability of embedded software systems. IEEE Transactions on Systems, Man, and Cybernetics, Part A, 25(5):824-840, 1995. [doi]

Abstract

Abstract is missing.