Cover Image
Read Now

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

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 organ...

Full description

Bibliographic Details
Other Authors: Margaria, Tiziana (Editor), Steffen, Bernhard (Editor)
Format: eBook
Language:English
Published: Cham Springer Nature Switzerland 2022, 2022
Edition:1st ed. 2022
Series:Lecture Notes in Computer Science
Subjects:
Computer Systems
Software Engineering
Computer Science
Computer System Implementation
Artificial Intelligence
Computer Networks 
Computer Engineering And Networks
Computer Engineering
Theory Of Computation
Special Purpose And Application-based Systems
Computers, Special Purpose
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
LEADER 02608nmm a2200421 u 4500
001 EB002120699
003 EBX01000000000000001258756
005 00000000000000.0
007 cr|||||||||||||||||||||
008 221107 ||| eng
020 |a 9783031197567 
100 1 |a Margaria, Tiziana  |e [editor] 
245 0 0 |a Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering  |h Elektronische Ressource  |b 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part II  |c edited by Tiziana Margaria, Bernhard Steffen 
250 |a 1st ed. 2022 
260 |a Cham  |b Springer Nature Switzerland  |c 2022, 2022 
300 |a XIII, 427 p. 140 illus., 68 illus. in color  |b online resource 
505 0 |a Programming - What is Next: The Role of Documentation -- Automated Software Re-Engineering -- DIME Days 
653 |a Computer systems 
653 |a Software engineering 
653 |a Computer science 
653 |a Computer System Implementation 
653 |a Artificial Intelligence 
653 |a Software Engineering 
653 |a Computer networks  
653 |a Computer Engineering and Networks 
653 |a Artificial intelligence 
653 |a Computer engineering 
653 |a Theory of Computation 
653 |a Special Purpose and Application-Based Systems 
653 |a Computers, Special purpose 
700 1 |a Steffen, Bernhard  |e [editor] 
041 0 7 |a eng  |2 ISO 639-2 
989 |b Springer  |a Springer eBooks 2005- 
490 0 |a Lecture Notes in Computer Science 
028 5 0 |a 10.1007/978-3-031-19756-7 
856 4 0 |u https://doi.org/10.1007/978-3-031-19756-7?nosfx=y  |x Verlag  |3 Volltext 
082 0 |a 005.1 
520 |a 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 

Similar Items