| 書(shū)目名稱 | Formal Techniques for Distributed Objects, Components, and Systems | | 副標(biāo)題 | 42nd IFIP WG 6.1 Int | | 編輯 | Mohammad Reza Mousavi,Anna Philippou | | 視頻video | http://file.papertrans.cn/346/345914/345914.mp4 | | 叢書(shū)名稱 | Lecture Notes in Computer Science | | 圖書(shū)封面 |  | | 描述 | This book constitutes the refereed proceedings of the 42nd IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2022, held in Lucca, Italy, in June 2022, as part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022.The 12 regular papers presented were carefully reviewed and selected from 28 submissions. They cover topics such as: software quality, reliability, availability, and safety; security, privacy, and trust in distributed and/or communicating systems; service-oriented, ubiquitous, and cloud computing systems; component-and model-based design; object technology, modularity, and software adaptation; self-stabilisation and self-healing/organising; and verification, validation, formal analysis, and testing of the above.. | | 出版日期 | Conference proceedings 2022 | | 關(guān)鍵詞 | architecting; architecture verification and validation; artificial intelligence; computational linguist | | 版次 | 1 | | doi | https://doi.org/10.1007/978-3-031-08679-3 | | isbn_softcover | 978-3-031-08678-6 | | isbn_ebook | 978-3-031-08679-3Series ISSN 0302-9743 Series E-ISSN 1611-3349 | | issn_series | 0302-9743 | | copyright | IFIP International Federation for Information Processing 2022 |
The information of publication is updating
書(shū)目名稱Formal Techniques for Distributed Objects, Components, and Systems影響因子(影響力)
書(shū)目名稱Formal Techniques for Distributed Objects, Components, and Systems影響因子(影響力)學(xué)科排名
書(shū)目名稱Formal Techniques for Distributed Objects, Components, and Systems網(wǎng)絡(luò)公開(kāi)度
書(shū)目名稱Formal Techniques for Distributed Objects, Components, and Systems網(wǎng)絡(luò)公開(kāi)度學(xué)科排名
書(shū)目名稱Formal Techniques for Distributed Objects, Components, and Systems被引頻次
書(shū)目名稱Formal Techniques for Distributed Objects, Components, and Systems被引頻次學(xué)科排名
書(shū)目名稱Formal Techniques for Distributed Objects, Components, and Systems年度引用
書(shū)目名稱Formal Techniques for Distributed Objects, Components, and Systems年度引用學(xué)科排名
書(shū)目名稱Formal Techniques for Distributed Objects, Components, and Systems讀者反饋
書(shū)目名稱Formal Techniques for Distributed Objects, Components, and Systems讀者反饋學(xué)科排名
|
|
|
|Archiver|手機(jī)版|小黑屋|
派博傳思國(guó)際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-16 12:53
發(fā)表于 2025-3-21 16:29:40
