Leveraging Applications of Formal Methods, Verification and Validation
10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17–29, 2021, Proceedings
-
- US$59.99
-
- US$59.99
출판사 설명
This book constitutes contributions of the ISoLA 2021 associated events. Altogether, ISoLA 2021 comprises contributions from the proceedings originally foreseen for ISoLA 2020 collected in 4 volumes, LNCS 12476: Verification Principles, LNCS 12477: Engineering Principles, LNCS 12478: Applications, and LNCS 12479: Tools and Trends.
The contributions included in this volume were organized in the following topical sections: 6th International School on Tool-Based Rigorous Engineering of Software Systems; Industrial Track; Programming: What is Next; Software Verification Tools; Rigorous Engineering of Collective Adaptive Systems.
장르
컴퓨터 및 인터넷
출시일
2021년
10월 11일
언어
EN
영어
길이
516
페이지
출판사
Springer International Publishing
판매자
Springer Nature B.V.
크기
50.2
MB
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering
2022년
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications
2016년
System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering
2018년
Transactions on Foundations for Mastering Change I
2016년
Software Technologies: Applications and Foundations
2018년
Software Technologies
2014년
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice
2018년
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems
2024년
Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola
2024년
Engineering of Computer-Based Systems
2023년
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering
2022년
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles
2022년