Software Engineering and Formal Methods: SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers 9783319747811, 9783319747804, 3319747819

Software Engineering and Formal Methods: SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, Revised Selected Papers [1st ed.] 9783030575052, 9783030575069

The volume LNCS 12226 constitutes the revised selected papers from the four workshops collocated with the 17th Internati

363 27 10MB Read more

Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops: ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14–15, ... Papers (Lecture Notes in Computer Science) 3030672190, 9783030672195

This volume constitutes the revised selected papers from the three workshops collocated with the 18th International Conf

99 75 21MB Read more

Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops: CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6–10, 2021, ... Papers (Lecture Notes in Computer Science) 3031124286, 9783031124280

This volume constitutes revised selected papers from the four workshops collocated with the 19th International Conferenc

120 94 24MB Read more

Software Technologies: Applications and Foundations: STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers (Lecture Notes in Computer Science Book 10748) [1st ed. 2018] 9783319747309, 9783319747293, 3319747304

118 93 6MB Read more

Image and Video Technology: PSIVT 2017 International Workshops, Wuhan, China, November 20-24, 2017, Revised Selected Papers 978-3-319-92753-4, 3319927531, 978-3-319-92752-7

This book constitutes the thoroughly refereed post-conference proceedings of five international workshops held in the fr

261 61 60KB Read more

Software Technologies: 12th International Joint Conference, ICSOFT 2017, Madrid, Spain, July 24–26, 2017, Revised Selected Papers (Communications in Computer and Information Science, 868) 3319936409, 9783319936406

This book constitutes the thoroughly refereed post-conference proceedings of the 12th International Joint Conference on

108 7 18MB Read more

Software Engineering and Formal Methods: 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings 3031471148, 9783031471148

This book constitutes the refereed proceedings of the 21st International Conference on Software Engineering and Formal M

107 67 25MB Read more

Pattern Recognition Applications and Methods: 6th International Conference, ICPRAM 2017, Porto, Portugal, February 24–26, 2017, Revised Selected Papers (Lecture Notes in Computer Science, 10857) 9783319936468, 9783319936475, 3319936468

This book contains revised and extended versions of selected papers from the 6th International Conference on Pattern Rec

153 72 32MB Read more

Software Engineering and Formal Methods: 20th International Conference, SEFM 2022, Berlin, Germany, September 26–30, 2022, Proceedings (Lecture Notes in Computer Science) 3031171071, 9783031171079

This book constitutes the refereed proceedings of the 20th International Conference on Software Engineering and Formal M

124 59 17MB Read more

Software Engineering and Formal Methods: 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings [1st ed.] 9783030587673, 9783030587680

This book constitutes the refereed proceedings of the 18th International Conference on Software Engineering and Formal M

368 60 15MB Read more