Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6?10, 2021, Revised Selected Papers【電子書籍】

＜p＞This volume constitutes revised selected papers from the four workshops collocated with the 19th International Conference on Software Engineering and Formal Methods, SEFM 2021, held virtually during December 6?10, 2021.＜/p＞ ＜p＞The 21 contributed papers presented in this volume were carefully reviewed and selected from a total of 29 submissions. The book also contains 3 invited talks.＜/p＞ ＜p＞SEFM 2021 presents the following four workshops:＜/p＞ ＜p＞CIFMA 2021 - 3rd International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications;＜/p＞ ＜p＞CoSim-CPS 2021 - 5th Workshop on Formal Co-Simulation of Cyber-Physical Systems;＜/p＞ ＜p＞OpenCERT 2021 - 10th International Workshop on Open Community approaches to Education, Research and Technology;＜/p＞ ＜p＞ASYDE 2021 - 3rd International Workshop on Automated and verifiable Software sYstem Development.＜/p＞ ＜p＞Due to the Corona pandemic this event washeld virtually.＜/p＞画面が切り替わりますので、しばらくお待ち下さい。
※ご購入は、楽天kobo商品ページからお願いします。
※切り替わらない．．．楽天市場のショップで商品詳細の続きを見る