Table‐based formal specification approaches for control engineers—empirical studies of usability
Abstract The dependability characteristic of the control software of manufacturing systems is highlighted more than before, going through repeated changes to cope with various and varying requirements. Formal methods are researched to be applied to automation system engineering to obtain a more effe...
| Main Authors: | , , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Wiley
2021-12-01
|
| Series: | IET Cyber-Physical Systems |
| Subjects: | |
| Online Access: | https://doi.org/10.1049/cps2.12017 |