Fault trees on a diet: automated reduction by graph rewriting

Overview of attention for article published in Formal Aspects of Computing, January 2017

Altmetric Badge

Mentioned by

So far, Altmetric has seen 1 X post from an account with 479 followers.

Fault Trees on a Diet: how go from a big fat fault tree to a lean one? Use graph transformations: https://t.co/Fkv0BISsge