Abstract
Invariants play a crucial role in system development. This contribution focuses on invariants in systems with so-called occurrence uncertainty, where ......
小提示:本篇文献需要登录阅读全文,点击跳转登录