Description

Book Synopsis

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.




Table of Contents
Digital Twin Engineering.- Digital Thread in Smart Manufacturing.- Formal Methods for DIStributed COmputing in Future RAILway Systems.- Industrial Day.

Leveraging Applications of Formal Methods, Verification and Validation. Practice: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part IV

Product form

£49.49

Includes FREE delivery

RRP £54.99 – you save £5.50 (10%)

Order before 4pm today for delivery by Fri 19 Dec 2025.

A Paperback by Tiziana Margaria, Bernhard Steffen

1 in stock


    View other formats and editions of Leveraging Applications of Formal Methods, Verification and Validation. Practice: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part IV by Tiziana Margaria

    Publisher: Springer International Publishing AG
    Publication Date: 20/10/2022
    ISBN13: 9783031197611, 978-3031197611
    ISBN10: 3031197615
    Also in:
    Artificial intelligence (AI) Software Engineering Systems analysis and design

    Description

    Book Synopsis

    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.




    Table of Contents
    Digital Twin Engineering.- Digital Thread in Smart Manufacturing.- Formal Methods for DIStributed COmputing in Future RAILway Systems.- Industrial Day.

    Recently viewed products

    © 2025 Book Curl

      • American Express
      • Apple Pay
      • Diners Club
      • Discover
      • Google Pay
      • Maestro
      • Mastercard
      • PayPal
      • Shop Pay
      • Union Pay
      • Visa

      Login

      Forgot your password?

      Don't have an account yet?
      Create account