- Title:
Table‐based formal specification approaches for control engineers—empirical studies of usability
- Document type:
- Zeitschriftenaufsatz
- Author(s):
- Cha, Suhyun; Vogel‐Heuser, Birgit; Weigl, Alexander; Ulbrich, Mattias; Beckert, Bernhard
- Journal title:
- IET Cyber-Physical Systems: Theory & Applications
- Year:
- 2021
- Fulltext / DOI:
- doi:10.1049/cps2.12017
- Publisher:
- Institution of Engineering and Technology (IET)
- E-ISSN:
- 2398-33962398-3396
- Date of publication:
- 26.05.2021
- BibTeX