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

S Cha, B Vogel‐Heuser, A Weigl… - IET Cyber‐Physical …, 2021 - Wiley Online Library
The dependability characteristic of the control software of manufacturing systems is
highlighted more than before, going through repeated changes to cope with various and …

[PDF][PDF] Table‐based formal specification approaches for control engineers—empirical studies of usability

S Cha, B Vogel‐Heuser, A Weigl, M Ulbrich, B Beckert - 2021 - pdfs.semanticscholar.org
The dependability characteristic of the control software of manufacturing systems is
highlighted more than before, going through repeated changes to cope with various and …

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

S Cha, B Vogel-Heuser, A Weigl… - IET Cyber …, 2021 - publikationen.bibliothek.kit.edu
The dependability characteristic of the control software of manufacturing systems is
highlighted more than before, going through repeated changes to cope with various and …

[引用][C] Table‐based formal specification approaches for control engineers—empirical studies of usability

S Cha, B Vogel‐Heuser, A Weigl… - IET Cyber-Physical …, 2021 - mediatum.ub.tum.de
mediaTUM - Medien- und Publikationsserver mediaTUM Universitätsbibliothek Technische
Universität München Logo Benutzer: Gast Login de en mediaTUM Gesamtbestand …

[PDF][PDF] Table‐based formal specification approaches for control engineers—empirical studies of usability

S Cha, B Vogel‐Heuser, A Weigl, M Ulbrich, B Beckert - 2021 - scholar.archive.org
The dependability characteristic of the control software of manufacturing systems is
highlighted more than before, going through repeated changes to cope with various and …

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

S Cha, B Vogel‐Heuser, A Weigl, M Ulbrich… - IET Cyber-Physical …, 2021 - IET
AbstractThe dependability characteristic of the control software of manufacturing systems is
highlighted more than before, going through repeated changes to cope with various and …

[PDF][PDF] Table‐based formal specification approaches for control engineers—empirical studies of usability

S Cha, B Vogel‐Heuser, A Weigl, M Ulbrich, B Beckert - 2021 - scholar.archive.org
The dependability characteristic of the control software of manufacturing systems is
highlighted more than before, going through repeated changes to cope with various and …