Silvia Bonfanti, Angelo Gargantini, Paolo Salvaneschi
Sari: Lecture Notes in Computer Science
(Ilmumisaeg: 18-Sep-2023, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031432408)
This book constitutes the refereed proceedings of the 35th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2023, held in Bergamo, Italy, during September 18-20, 2023.The 13 full papers presented together with 6 short...Loe edasi...
Silvia Bonfanti, Angelo Gargantini, Paolo Salvaneschi
Sari: Lecture Notes in Computer Science
(Ilmumisaeg: 18-Sep-2023, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031432408)
This book constitutes the refereed proceedings of the 35th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2023, held in Bergamo, Italy, during September 18-20, 2023.The 13 full papers presented together with 6 short...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: 09-May-2022, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031046735)
This book constitutes the refereed proceedings of the 33rd IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2021, which was supposed to be held in London, UK, but was held virtually due to the COVID-19 pandemic.The 10 regul...Loe edasi...
(Ilmumisaeg: 09-May-2022, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031046735)
This book constitutes the refereed proceedings of the 33rd IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2021, which was supposed to be held in London, UK, but was held virtually due to the COVID-19 pandemic.The 10 regul...Loe edasi...
This book constitutes the refereed proceedings of the 41st IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2021, held in Valletta, Malta, in June 2021, as part of the 16th Internationa...Loe edasi...
This book constitutes the refereed proceedings of the 41st IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2021, held in Valletta, Malta, in June 2021, as part of the 16th Internationa...Loe edasi...
This book constitutes the proceedings of the 40th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2020, held in Valletta, Malta, in June 2020, as part of the 15th International Federat...Loe edasi...
This book constitutes the proceedings of the 39th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2019, held in Copenhagen, Denmark, in June 2019, as part of the 14th International Fed...Loe edasi...
This book constitutes the proceedings of the 39th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2019, held in Copenhagen, Denmark, in June 2019, as part of the 14th International Fed...Loe edasi...
This Festschrift volume is published in honor of Catherine A. Meadows and contains essays presented at the Catherine Meadows Festschrift Symposium held in Fredericksburg, VA, USA, in May 2019.Catherine A. Meadows has been a pioneer in developing symb...Loe edasi...
This Festschrift volume is published in honor of Catherine A. Meadows and contains essays presented at the Catherine Meadows Festschrift Symposium held in Fredericksburg, VA, USA, in May 2019.Catherine A. Meadows has been a pioneer in developing symb...Loe edasi...
This book constitutes the revised selected papers from the 6th International Conference on Agreement Technologies, AT 2018, held in Bergen, Norway, in December 2018.The 11 full papers and 6 short papers presented in this volume were carefully reviewe...Loe edasi...
This book constitutes the revised selected papers from the 6th International Conference on Agreement Technologies, AT 2018, held in Bergen, Norway, in December 2018.The 11 full papers and 6 short papers presented in this volume were carefully reviewe...Loe edasi...
Inmaculada Medina-Bulo, Mercedes G. Merayo, Robert Hierons
Sari: Lecture Notes in Computer Science
(Ilmumisaeg: 06-Sep-2018, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319999272)
This book constitutes the refereed proceedings of the 30th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2018, held in Cadiz, Spain, in October 2018. The 8 regular and 6 short papers presented were carefully reviewed and...Loe edasi...
Inmaculada Medina-Bulo, Mercedes G. Merayo, Robert Hierons
Sari: Lecture Notes in Computer Science
(Ilmumisaeg: 06-Sep-2018, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319999272)
This book constitutes the refereed proceedings of the 30th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2018, held in Cadiz, Spain, in October 2018. The 8 regular and 6 short papers presented were carefully reviewed and...Loe edasi...
(Ilmumisaeg: 29-May-2018, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319926124)
This book constitutes the proceedings of the 38th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2018, held in Madrid, Spain, in June 2018, as part of the 13th International Federa...Loe edasi...
(Ilmumisaeg: 29-May-2018, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319926124)
This book constitutes the proceedings of the 38th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2018, held in Madrid, Spain, in June 2018, as part of the 13th International Federa...Loe edasi...
(Ilmumisaeg: 25-Sep-2017, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319675497)
This book constitutes the refereed proceedings of the 29th IFIP WG 6.1 International Conference on Testing Software and Systems ICTSS 2017, held in St. Petersburg, Russia, in October 2017. The 18 full papers and 4 short papers presented were careful...Loe edasi...
