Guest Editorial: Special Issue of ACM TECS on the ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE 2017)

Patricia Derler, Klaus Schneider 0001, Jean-Pierre Talpin. Guest Editorial: Special Issue of ACM TECS on the ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE 2017). ACM Trans. Embedded Comput. Syst., 18(1), 2019. [doi]

Abstract

Abstract is missing.