eBook: Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, No
售價:
$585.00
購買後立即進貨, 約需 1-4 天
加入購物車
商品簡介
The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, held in Limassol, Cyprus, in October/November 2018. The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual topic with topical section headings within the volume:Part I, Modeling: Towards a unified view of modeling and programming; X-by-construction, STRESS 2018.Part II, Verification: A broader view on verification: from static to runtime and back; evaluating tools for software verification; statistical model checking; RERS 2018; doctoral symposium.Part III, Distributed Systems: rigorous engineering of collective adaptive systems; verification and validation of distributed systems; and cyber-physical systems engineering. Part IV, Industrial Practice: runtime verification from the theory to the industry practice; formal methods in industrial practice - bridging the gap; reliable smart contracts: state-of-the-art, applications, challenges and future directions; and industrial day.
Lecture Notes in Computer Science
eBook: Distributed Computer and Communication Networks: Control, Computation, Communications: 26th International Conference, DCCN 2023, Moscow, Russia
eBook: Distributed Computer and Communication Networks: Control, Computation, Communications: 26th International Conference, DCCN 2023, Moscow, Russia
eBook: Advances in Information Retrieval: 46th European Conference on Information Retrieval, ECIR 2024, Glasgow, UK, March 24-28, 2024, Proceedings, P
eBook: Advances in Information Retrieval: 46th European Conference on Information Retrieval, ECIR 2024, Glasgow, UK, March 24-28, 2024, Proceedings, P
eBook: Advances in Information Retrieval: 46th European Conference on Information Retrieval, ECIR 2024, Glasgow, UK, March 24-28, 2024, Proceedings, P
eBook: Advances in Information Retrieval: 46th European Conference on Information Retrieval, ECIR 2024, Glasgow, UK, March 24-28, 2024, Proceedings, P
eBook: Inductive Logic Programming: 31st International Conference, ILP 2022, Windsor Great Park, UK, September 28-30, 2022, Proceedings (DRM EPUB)
eBook: Advances in Information Retrieval: 46th European Conference on Information Retrieval, ECIR 2024, Glasgow, UK, March 24-28, 2024, Proceedings, P
eBook: Advances in Information Retrieval: 46th European Conference on Information Retrieval, ECIR 2024, Glasgow, UK, March 24-28, 2024, Proceedings, P
eBook: Advances in Information Retrieval: 46th European Conference on Information Retrieval, ECIR 2024, Glasgow, UK, March 24-28, 2024, Proceedings, P
eBook: Inductive Logic Programming: 31st International Conference, ILP 2022, Windsor Great Park, UK, September 28-30, 2022, Proceedings (DRM PDF)
eBook: Taming the Infinities of Concurrency: Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday (DRM EPUB)
eBook: Passive and Active Measurement: 25th International Conference, PAM 2024, Virtual Event, March 11-13, 2024, Proceedings, Part I (DRM PDF)
eBook: Analysis of Images, Social Networks and Texts: 11th International Conference, AIST 2023, Yerevan, Armenia, September 28-30, 2023, Revised Selec
eBook: Analysis of Images, Social Networks and Texts: 11th International Conference, AIST 2023, Yerevan, Armenia, September 28-30, 2023, Revised Selec
eBook: Advances in Information Retrieval: 46th European Conference on Information Retrieval, ECIR 2024, Glasgow, UK, March 24-28, 2024, Proceedings, P
eBook: Taming the Infinities of Concurrency: Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday (DRM PDF)
eBook: Passive and Active Measurement: 25th International Conference, PAM 2024, Virtual Event, March 11-13, 2024, Proceedings, Part II (DRM EPUB)
eBook: Passive and Active Measurement: 25th International Conference, PAM 2024, Virtual Event, March 11-13, 2024, Proceedings, Part II (DRM PDF)
eBook: Passive and Active Measurement: 25th International Conference, PAM 2024, Virtual Event, March 11-13, 2024, Proceedings, Part I (DRM EPUB) ... [顯示此系列所有商品]
Tiziana Margaria 作者作品表 Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, Isola 2022, Rhodes, Gre Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering: 11th International Symposium, ISoLA 2022, Rhodes, Greece Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning: 11th International Symposium, ISoLA 2022, Rhodes, Gre Leveraging Applications of Formal Methods, Verification and Validation. Practice: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22 Leveraging Applications of Formal Methods, Verification and (Paperback)
Bernhard Steffen 作者作品表 eBook: Bridging the Gap Between AI and Reality: First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings (DRM PDF) eBook: Bridging the Gap Between AI and Reality: First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings (DRM EPUB Bridging the Gap Between AI and Reality: First International Conference, Aisola 2023, Crete, Greece, October 23-28, 2023, Proceedings (2024) (Paperbac eBook: Transactions on Foundations for Mastering Change I (DRM PDF)