Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering

11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part II

Tiziana Margaria & Bernhard Steffen
    • $59.99
    • $59.99

Publisher Description

This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022. 

The contributions in the four-volume set are organized according to the following topical sections: specify this - bridging gaps between program specification paradigms; x-by-construction meets runtime verification; verification and validation of concurrent and distributed heterogeneous systems; programming - what is next: the role of documentation; automated software re-engineering; DIME day; rigorous engineering of collective adaptive systems; formal methods meet machine learning; digital twin engineering; digital thread in smart manufacturing; formal methods for distributed computing in future railway systems; industrial day.

GENRE
Computers & Internet
RELEASED
2022
October 19
LANGUAGE
EN
English
LENGTH
440
Pages
PUBLISHER
Springer Nature Switzerland
SELLER
Springer Nature B.V.
SIZE
42.5
MB

More Books Like This

Leveraging Applications of Formal Methods, Verification and Validation Leveraging Applications of Formal Methods, Verification and Validation
Leveraging Applications of Formal Methods, Verification and Validation
2021
Leveraging Applications of Formal Methods, Verification and Validation. Modeling Leveraging Applications of Formal Methods, Verification and Validation. Modeling
Leveraging Applications of Formal Methods, Verification and Validation. Modeling
2018
Formal Methods. FM 2019 International Workshops Formal Methods. FM 2019 International Workshops
Formal Methods. FM 2019 International Workshops
2020
Transactions on Foundations for Mastering Change I Transactions on Foundations for Mastering Change I
Transactions on Foundations for Mastering Change I
2016
System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering
System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering
2018
Grand Timely Topics in Software Engineering Grand Timely Topics in Software Engineering
Grand Timely Topics in Software Engineering
2017

More Books by Tiziana Margaria & Bernhard Steffen

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice
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 Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems
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 Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola
Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola
2024
Engineering of Computer-Based Systems Engineering of Computer-Based Systems
Engineering of Computer-Based Systems
2023
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles
2022
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning
2022