Software Engineering and Formal Methods. Sefm 2024 Collocated Workshops: Reacts 2024 and Cifma 2024, Aveiro, Portugal, November 4-5, 2024, Revised Sel
暫譯: 軟體工程與形式方法：2024年Sefm聯合研討會：2024年Reacts與2024年Cifma，葡萄牙阿維羅，2024年11月4-5日，修訂版
Proença, José, Fervari, Raul, Martins, Manuel A.
相關主題
商品描述
This volume constitutes the papers of two workshops which were held in conjunction with the 22nd International Workshop on Software Engineering and Formal Methods, SEFM 2024 Collocated Workshops, held in Aveiro, Portugal, during November 4-5, 2024.
The 20 full papers presented in this book were carefully reviewed and selected from 36 submissions. SEFM 2024 Collocated Workshops presents the following two workshops:
- ReacTS 2024: International Workshop on Reconfigurable Transition Systems: Semantics, Logics and Applications.
- CIFMA 2024: 6th International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications.
商品描述(中文翻譯)
本卷包含了兩個研討會的論文，這些研討會與第22屆國際軟體工程與形式方法研討會（SEFM 2024）共同舉行，於2024年11月4日至5日在葡萄牙阿維羅舉辦。
本書中呈現的20篇完整論文是從36篇投稿中仔細審核和選出的。SEFM 2024共同舉辦的研討會包括以下兩個工作坊：
- ReacTS 2024：可重構轉換系統的國際研討會：語義、邏輯與應用。
- CIFMA 2024：第六屆國際認知研討會：跨學科基礎、模型與應用。
