Barbara Gallina, Sasikumar Punnekkat. FI4FA: A Formalism for Incompletion, Inconsistency, Interference and Impermanence Failures' Analysis. In 37th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2011, Oulu, Finland, August 30 - September 2, 2011. pages 493-500, IEEE, 2011. [doi]
Abstract is missing.