@article{ChaVogelHeuserWeigl2021_1000133867,
author = {Suhyun Cha and Birgit Vogel-Heuser and Alexander Weigl and
Mattias Ulbrich and Bernhard Beckert},
year = {2021},
title = {Table-based formal specification approaches for control
engineers—empirical studies of usability},
journal = {IET Cyber-Physical Systems: Theory and Applications},
doi = {10.1049/cps2.12017},
publisher = {{IET, the Institution of Engineering and Technology}},
issn = {2398-3396},
language = {english},
month = may
}
Table-based formal specification approaches for control engineers—empirical studies of usability
| Autor(en): | Suhyun Cha, Birgit Vogel‑Heuser, Alexander Weigl, Mattias Ulbrich und Bernhard Beckert |
|---|---|
| Zeitschrift: | IET Cyber-Physical Systems: Theory and Applications |
| Verleger: | IET, the Institution of Engineering and Technology |
| Jahr: | 2021 |
| DOI: | 10.1049/cps2.12017 |