Sign in
Table-based formal specification approaches for control engineers - empirical studies of usability.
Suhyun Cha
Birgit Vogel-Heuser
Alexander Weigl
Mattias Ulbrich
Bernhard Beckert
Published in:
IET Cyper-Phys. Syst.: Theory & Appl. (2021)
Keyphrases
</>
empirical studies
formal specification
empirical analysis
control system
object oriented design
specification languages
data sets
model checking
experimental design
real world data sets
fine grained
reverse engineering
uci datasets
concurrent systems