中国机械工程学会生产工程分会知识服务平台

会议文集


文集名Formal Aspects of Component Software
会议名19th International Conference on Formal Aspects of Component Software (FACS 2023)
中译名《第十九届国际组件软件的形式方面会议》
会议日期October 19-20, 2023
会议地点Online
出版年2024
馆藏号351834


题名作者出版年
Symbolic Path-Guided Test Cases for Models with Data and TimeBoutheina Bannour; Arnault Lapitre; Pascale Le Gall; Thang Nguyen2024
Model-Based Testing of Asynchronously Communicating Distributed ControllersBence Graics; Milan Mondok; Vince Molnar; Istvan Majzik2024
A Mechanized Semantics for Component-Based Systems in the HAMR AADL RuntimeStefan Hallerstede; John Hatcliff2024
A Formal Web Services Architecture Model for Changing PUSH/PULL Data TransferNaoya Nitta; Shinji Kageyama; Kouta Fujii2024
Joint Use of SysML and Reo to Specify and Verify the Compatibility of CPS ComponentsPerla Tannoury; Samir Chouali; Ahmed Hammad2024
From Reversible Computation to Checkpoint-Based Rollback Recovery for Message-Passing Concurrent ProgramsGerman Vidal2024
Formal Model Engineering of Distributed CPSs Using AADL: From Behavioral AADL Models to Multirate Hybrid Synchronous AADLKyungmin Bae; Peter Csaba Olveczky2024
Challenges Engaging Formal CBSE in Industrial ApplicationsYi Li; Meng Sun2024
Formal Aspects of Component Software An Overview on Concepts and Relations of Different TheoriesZhiming Liu; Jiadong Teng; Bo Liu2024
Overview on Constrained Multiparty Synchronisation in Team AutomataJose Proenca2024
Embedding Formal Verification in Model-Driven Software Engineering with Slco: An OverviewAnton Wijs2024



国家科技图书文献中心  全球文献资源网  京ICP备05055788号-26  京公网安备11010202008970号  机械工业信息研究院 2018-2024