Contract-Based Requirement Modularization via Synthesis of Correct Decompositions

Thi Thieu Hoa Le, Roberto Passerone, Uli Fahrenberg, Axel Legay. Contract-Based Requirement Modularization via Synthesis of Correct Decompositions. ACM Trans. Embedded Comput. Syst., 15(2):33, 2016. [doi]

Abstract

Abstract is missing.