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

Integration of a formal specification approach into CPPS engineering workflow for machinery validation

B Vogel-Heuser, C Huber, S Cha… - 2021 IEEE 19th …, 2021 - ieeexplore.ieee.org
Cyber Physical Production Systems (CPPS) operate for a long time and face continuous and
incremental changes to follow up varying requirements. Interdisciplinary engineering of …
相关文章 所有 2 个版本