Table-based formal specification approaches for control engineers - empirical studies of usability

Suhyun Cha, Birgit Vogel-Heuser, Alexander Weigl, Mattias Ulbrich, Bernhard Beckert. Table-based formal specification approaches for control engineers - empirical studies of usability. IET Cyper-Phys. Syst.: Theory & Appl., 6(4):193-207, 2021. [doi]

Abstract

Abstract is missing.