(Ilmumisaeg: 30-Oct-2023, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031471155)
This book constitutes the refereed proceedings of the 21st International Conference on Software Engineering and Formal Methods, SEFM 2023, held in Eindhoven, The Netherlands, during November 6-10, 2023.The 18 regular papers presented in this book, to...Loe edasi...
(Ilmumisaeg: 30-Oct-2023, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031471155)
This book constitutes the refereed proceedings of the 21st International Conference on Software Engineering and Formal Methods, SEFM 2023, held in Eindhoven, The Netherlands, during November 6-10, 2023.The 18 regular papers presented in this book, to...Loe edasi...
Mauro Iacono, Marco Scarpa, Enrico Barbierato, Salvatore Serrano, Davide Cerotti, Francesco Longo
Sari: Lecture Notes in Computer Science
(Ilmumisaeg: 06-Oct-2023, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031431852)
This book constitutes the refereed proceedings of the 19th European Workshop on Computer Performance Engineering, EPEW 2023, and 27th International Conference on Analytical and Stochastic Modelling Techniques and Applications, ASMTA 2023, held i...Loe edasi...
Mauro Iacono, Marco Scarpa, Enrico Barbierato, Salvatore Serrano, Davide Cerotti, Francesco Longo
Sari: Lecture Notes in Computer Science
(Ilmumisaeg: 06-Oct-2023, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031431852)
This book constitutes the refereed proceedings of the 19th European Workshop on Computer Performance Engineering, EPEW 2023, and 27th International Conference on Analytical and Stochastic Modelling Techniques and Applications, ASMTA 2023, held i...Loe edasi...
(Ilmumisaeg: 07-Sep-2023, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031404368)
This Festschrift volume, dedicated to Jifeng He on the occasion of his 80th birthday, includes refereed papers by leading researchers, many of them current and former colleagues, presented at a dedicated celebration in the Shanghai Science Hall in Se...Loe edasi...
(Ilmumisaeg: 07-Sep-2023, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031404368)
This Festschrift volume, dedicated to Jifeng He on the occasion of his 80th birthday, includes refereed papers by leading researchers, many of them current and former colleagues, presented at a dedicated celebration in the Shanghai Science Hall in Se...Loe edasi...
(Ilmumisaeg: 29-Aug-2023, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031424410)
This book constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Fundamentals of Software Engineering, FSEN 2023, held Tehran, Iran in May 4-5, 2023.The 9 full papers and 2 short papers presented in th...Loe edasi...
(Ilmumisaeg: 29-Aug-2023, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031424410)
This book constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Fundamentals of Software Engineering, FSEN 2023, held Tehran, Iran in May 4-5, 2023.The 9 full papers and 2 short papers presented in th...Loe edasi...
(Ilmumisaeg: 28-Aug-2023, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031426261)
This book constitutes the refereed proceedings of the 21st International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2023, held in Antwerp, Belgium, in September 2023. The 9 full papers presented in this book were carefully r...Loe edasi...
(Ilmumisaeg: 28-Aug-2023, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031426261)
This book constitutes the refereed proceedings of the 21st International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2023, held in Antwerp, Belgium, in September 2023. The 9 full papers presented in this book were carefully r...Loe edasi...
(Ilmumisaeg: 05-Jul-2023, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031359491)
This book constitutes the proceedings of the 17th International Conference on Formal Concept Analysis, ICFCA 2023, which took place in Kassel, Germany, in July 2023.The 13 full papers presented in this volume were carefully reviewed and selected from...Loe edasi...
(Ilmumisaeg: 05-Jul-2023, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031359491)
This book constitutes the proceedings of the 17th International Conference on Formal Concept Analysis, ICFCA 2023, which took place in Kassel, Germany, in July 2023.The 13 full papers presented in this volume were carefully reviewed and selected from...Loe edasi...
(Ilmumisaeg: 23-Jun-2023, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031343261)
This book constitutes the proceedings of the 25th International Conference on Descriptional Complexity of Format Systems, DCFS 2023, which took place in Potsdam, Germany, in July 2023.The 14 full papers, including one invited presentation as a full p...Loe edasi...
(Ilmumisaeg: 23-Jun-2023, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031343261)
This book constitutes the proceedings of the 25th International Conference on Descriptional Complexity of Format Systems, DCFS 2023, which took place in Potsdam, Germany, in July 2023.The 14 full papers, including one invited presentation as a full p...Loe edasi...
(Ilmumisaeg: 09-Jun-2023, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031353550)
This book constitutes the refereed proceedings of the 43rd IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2023, held in Lisbon, Portugal, in June 2023, as part of the 18th Internation...Loe edasi...
(Ilmumisaeg: 09-Jun-2023, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031353550)
This book constitutes the refereed proceedings of the 43rd IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2023, held in Lisbon, Portugal, in June 2023, as part of the 18th Internation...Loe edasi...
(Ilmumisaeg: 02-Jun-2023, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031331701)
This book constitutes the proceedings of the 15th International Symposium on NASA Formal Methods, NFM 2023, held in Houston, Texas, USA, during May 16-18, 2023. The 26 full and 3 short papers presented in this volume were carefully reviewed and selec...Loe edasi...
(Ilmumisaeg: 02-Jun-2023, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031331701)
This book constitutes the proceedings of the 15th International Symposium on NASA Formal Methods, NFM 2023, held in Houston, Texas, USA, during May 16-18, 2023. The 26 full and 3 short papers presented in this volume were carefully reviewed and selec...Loe edasi...
(Ilmumisaeg: 24-Mar-2023, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031294761)
This book constitutes the refereed workshop proceedings of the 11th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2022, held in Madrid, in October 2022.The 12 revised full papers included in the volume wer...Loe edasi...
(Ilmumisaeg: 24-Mar-2023, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031294761)
This book constitutes the refereed workshop proceedings of the 11th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2022, held in Madrid, in October 2022.The 12 revised full papers included in the volume wer...Loe edasi...
Marsha Chechik, Joost-Pieter Katoen, Martin Leucker
Sari: Lecture Notes in Computer Science
(Ilmumisaeg: 02-Mar-2023, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031274817)
This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods, FM 2023, which took place in Lubeck, Germany, in March 2023. The 26 full paper, 2 short papers included in this book were carefully reviewed an...Loe edasi...
Marsha Chechik, Joost-Pieter Katoen, Martin Leucker
Sari: Lecture Notes in Computer Science
(Ilmumisaeg: 02-Mar-2023, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031274817)
This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods, FM 2023, which took place in Lubeck, Germany, in March 2023. The 26 full paper, 2 short papers included in this book were carefully reviewed an...Loe edasi...
(Ilmumisaeg: 24-Jan-2023, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031250491)
This book constitutes the refereed proceedings of the 18th European Workshop on Computer Performance Engineering, EPEW 2022, held in Santa Pola, Spain, in September 2022.The 14 papers presented in this volume together with one invited talk were caref...Loe edasi...
(Ilmumisaeg: 24-Jan-2023, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031250491)
This book constitutes the refereed proceedings of the 18th European Workshop on Computer Performance Engineering, EPEW 2022, held in Santa Pola, Spain, in September 2022.The 14 papers presented in this volume together with one invited talk were caref...Loe edasi...
Omri Isac, Radoslav Ivanov, Guy Katz, Nina Narodytska, Laura Nenzi
Sari: Lecture Notes in Computer Science
(Ilmumisaeg: 15-Dec-2022, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031212222)
This book constitutes the refereed proceedings of the 5th International Workshop on Software Verification and Formal Methods for ML-Enables Autonomous Systems, FoMLAS 2022, and the 15th International Workshop on Numerical Software Verification, NSV 2...Loe edasi...
Omri Isac, Radoslav Ivanov, Guy Katz, Nina Narodytska, Laura Nenzi
Sari: Lecture Notes in Computer Science
(Ilmumisaeg: 15-Dec-2022, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031212222)
This book constitutes the refereed proceedings of the 5th International Workshop on Software Verification and Formal Methods for ML-Enables Autonomous Systems, FoMLAS 2022, and the 15th International Workshop on Numerical Software Verification, NSV 2...Loe edasi...
(Ilmumisaeg: 10-Dec-2022, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031212130)
This book constitutes the proceedings of the 8th International Symposium on Dependable Software Engineering, SETTA 2022, held in Beijing, China, in October 2022.The 11 full papers and 3 short papers in this volume were carefully reviewed and selected...Loe edasi...
(Ilmumisaeg: 10-Dec-2022, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031212130)
This book constitutes the proceedings of the 8th International Symposium on Dependable Software Engineering, SETTA 2022, held in Beijing, China, in October 2022.The 11 full papers and 3 short papers in this volume were carefully reviewed and selected...Loe edasi...
(Ilmumisaeg: 30-Nov-2022, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031224768)
This book constitutes the refereed proceedings of the 25th Brazilian Symposium on Formal Methods, SBMF 2022, which was held virtually in December 2022. The 8 regular papers presented in this book were carefully reviewed and selected from 15 sub...Loe edasi...
(Ilmumisaeg: 30-Nov-2022, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031224768)
This book constitutes the refereed proceedings of the 25th Brazilian Symposium on Formal Methods, SBMF 2022, which was held virtually in December 2022. The 8 regular papers presented in this book were carefully reviewed and selected from 15 sub...Loe edasi...
(Ilmumisaeg: 02-Nov-2022, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031208720)
This book constitutes the thoroughly revised selected papers from the 18th International Symposium, FACS 2022, which was held online in November 2022.The 12 full papers and 1 short paper were carefully reviewed and selected from 25 submissions.&...Loe edasi...
(Ilmumisaeg: 02-Nov-2022, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031208720)
This book constitutes the thoroughly revised selected papers from the 18th International Symposium, FACS 2022, which was held online in November 2022.The 12 full papers and 1 short paper were carefully reviewed and selected from 25 submissions.&...Loe edasi...
(Ilmumisaeg: 19-Oct-2022, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031197567)
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.&...Loe edasi...
(Ilmumisaeg: 19-Oct-2022, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031197567)
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.&...Loe edasi...
(Ilmumisaeg: 19-Oct-2022, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031197628)
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.&...Loe edasi...
(Ilmumisaeg: 19-Oct-2022, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031197628)
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.&...Loe edasi...
(Ilmumisaeg: 19-Oct-2022, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031198496)
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.&...Loe edasi...
(Ilmumisaeg: 19-Oct-2022, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031198496)
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.&...Loe edasi...
Antonio Cerone, Marco Autili, Alessio Bucaioni, Cláudio Gomes, Pierluigi Graziani, Maurizio Palmieri, Marco Temperini, Gentiane Venture
Sari: Lecture Notes in Computer Science
(Ilmumisaeg: 24-Sep-2022, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031124297)
This volume constitutes revised selected papers from the four workshops collocated with the 19th International Conference on Software Engineering and Formal Methods, SEFM 2021, held virtually during December 6-10, 2021.The 21 contributed papers prese...Loe edasi...
Antonio Cerone, Marco Autili, Alessio Bucaioni, Cláudio Gomes, Pierluigi Graziani, Maurizio Palmieri, Marco Temperini, Gentiane Venture
Sari: Lecture Notes in Computer Science
(Ilmumisaeg: 24-Sep-2022, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031124297)
This volume constitutes revised selected papers from the four workshops collocated with the 19th International Conference on Software Engineering and Formal Methods, SEFM 2021, held virtually during December 6-10, 2021.The 21 contributed papers prese...Loe edasi...
(Ilmumisaeg: 21-Sep-2022, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031171086)
This book constitutes the refereed proceedings of the 20th International Conference on Software Engineering and Formal Methods, SEFM 2022, which took place in Berlin, Germany, in September 2022. The 19 full and 3 short papers included in this bo...Loe edasi...
(Ilmumisaeg: 21-Sep-2022, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031171086)
This book constitutes the refereed proceedings of the 20th International Conference on Software Engineering and Formal Methods, SEFM 2022, which took place in Berlin, Germany, in September 2022. The 19 full and 3 short papers included in this bo...Loe edasi...
(Ilmumisaeg: 05-Sep-2022, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031150081)
This book constitutes the proceedings of the 27th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2022, which took place in Warsaw, Poland, in September 2022. The 13 full papers included in this book were c...Loe edasi...
(Ilmumisaeg: 05-Sep-2022, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031150081)
This book constitutes the proceedings of the 27th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2022, which took place in Warsaw, Poland, in September 2022. The 13 full papers included in this book were c...Loe edasi...
(Ilmumisaeg: 28-Aug-2022, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031158391)
This book constitutes the refereed proceedings of the 20th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2022, held in Warsaw, Poland, in September 2022. The 12 full papers together with 2 short papers that were c...Loe edasi...
(Ilmumisaeg: 28-Aug-2022, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031158391)
This book constitutes the refereed proceedings of the 20th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2022, held in Warsaw, Poland, in September 2022. The 12 full papers together with 2 short papers that were c...Loe edasi...
(Ilmumisaeg: 22-Aug-2022, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031132575)
This book constitutes the proceedings of the 24th International Conference on Descriptional Complexity of Format Systems, DCFS 2022, which was supposed to take place in Debrecen, Hungary in August 2022.The 14 full papers presented in this volume were...Loe edasi...
(Ilmumisaeg: 22-Aug-2022, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031132575)
This book constitutes the proceedings of the 24th International Conference on Descriptional Complexity of Format Systems, DCFS 2022, which was supposed to take place in Debrecen, Hungary in August 2022.The 14 full papers presented in this volume were...Loe edasi...
FCA is an important formalism that is associated with a variety of research areas such as lattice theory, knowledge representation, data mining, machine learning, and semantic Web. It is successfully exploited in an increasing number of applicat...Loe edasi...
FCA is an important formalism that is associated with a variety of research areas such as lattice theory, knowledge representation, data mining, machine learning, and semantic Web. It is successfully exploited in an increasing number of applicat...Loe edasi...
