A denotational semantics of Simulink with higher-order UTP
| Autor: | Xu, Xiong, Zhan, Bohua, Wang, Shuling, Talpin, Jean-Pierre, Zhan, Naijun |
|---|---|
| Zdroj: | In Journal of Logical and Algebraic Methods in Programming January 2023 130 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect