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]

@article{GarrettGA95,
  title = {The dynamic flowgraph methodology for assessing the dependability of embedded software systems},
  author = {Christopher James Garrett and Sergio B. Guarro and George E. Apostolakis},
  year = {1995},
  doi = {10.1109/21.376495},
  url = {http://dx.doi.org/10.1109/21.376495},
  researchr = {https://researchr.org/publication/GarrettGA95},
  cites = {0},
  citedby = {0},
  journal = {IEEE Transactions on Systems, Man, and Cybernetics, Part A},
  volume = {25},
  number = {5},
  pages = {824-840},
}