> Details

Margaria, Tiziana [Editor]; Steffen, Bernhard [Editor]

Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning - [1st ed. 2022.]

Reference
management

Bookmarks

Remove from
bookmarks

Share this on Whatsapp

Close

Bookmarks



You can manage bookmarks using lists, please log in to your user account for this.
  • Media type: E-Book
  • Title: Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part III
  • Contributor: Margaria, Tiziana [Editor]; Steffen, Bernhard [Editor]
  • Published: Cham: Springer Nature Switzerland, 2022.
    Cham: Imprint: Springer, 2022.
  • Published in: Lecture Notes in Computer Science ; 13703
  • Issue: 1st ed. 2022.
  • Extent: 1 Online-Ressource(XIII, 474 p. 115 illus., 61 illus. in color.)
  • Language: English
  • DOI: 10.1007/978-3-031-19759-8
  • ISBN: 9783031197598
  • Identifier:
  • Keywords: Software engineering. ; Artificial intelligence. ; Computer engineering. ; Computer networks . ; Microprogramming . ; Computer science.
  • Origination:
  • Footnote:
  • 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.