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]

Authors

Suhyun Cha

This author has not been identified. Look up 'Suhyun Cha' in Google

Birgit Vogel-Heuser

This author has not been identified. Look up 'Birgit Vogel-Heuser' in Google

Alexander Weigl

This author has not been identified. Look up 'Alexander Weigl' in Google

Mattias Ulbrich

This author has not been identified. Look up 'Mattias Ulbrich' in Google

Bernhard Beckert

This author has not been identified. Look up 'Bernhard Beckert' in Google