会议文集


文集名Verification and Evaluation of Computer and Communication Systems
会议名15th International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS 2021)
中译名《第十五届国际计算机与通信系统验证及评估讨论会》
机构Chinese Academy of Sciences
会议日期November 22-23, 2021
会议地点Online
出版年2022
馆藏号343369


题名作者出版年
On Decentralized MonitoringYlies Falcone2022
Roles and Responsibilities for a Predictable Update Process - A Position PaperAstrid Rakow; Janis Kroger2022
Hybrid Parallel Model Checking of Hybrid LTL on Hybrid State Space RepresentationKais Klai; Chiheb Ameur Abid; Jaime Arias; Sami Evangelista2022
SMT-Based Unbounded Model Checking for ATLMichal Kanski; Artur Niewiadomski; Magdalena Kacprzak; Wojciech Penczek; Wojciech Nabialek2022
Handling of Operating Modes in Contract-Based Timing SpecificationsJanis Kroger; Bjorn Koopmann; Ingo Stierand; Nadra Tabassam; Martin Franzle2022
Coalition Formation with Multiple Alternatives of Interdependent TasksYoucef Sklab; Samir Aknine; Onn Shehory; Hanane Ariouat2022



制造业外文文献服务平台