This book constitutes the proceedings of the 26th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2021, which was held during August 24-26, 2021. The conference was planned to take place in Pairs, France. Due to the CO...Loe edasi...
This book constitutes the proceedings of the 26th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2021, which was held during August 24-26, 2021. The conference was planned to take place in Pairs, France. Due to the CO...Loe edasi...
This book constitutes the proceedings of the 25th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2020, which was held during September 2-3, 2020. The conference was planned to take place in Vienna, Austria. Due to the...Loe edasi...
This book constitutes the proceedings of the 25th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2020, which was held during September 2-3, 2020. The conference was planned to take place in Vienna, Austria. Due to the...Loe edasi...
This book constitutes the refereed proceedings of the 11th International Workshop on Software Engineering for Resilient Systems, SERENE 2019, held in Naples, Italy, in September 2019.The 5 full papers and 4 short papers presented together with 1 keyn...Loe edasi...
This book constitutes the refereed proceedings of the 11th International Workshop on Software Engineering for Resilient Systems, SERENE 2019, held in Naples, Italy, in September 2019.The 5 full papers and 4 short papers presented together with 1 keyn...Loe edasi...
This volume contains a record of some of the lectures and seminars delivered at the Third International School on Engineering Trustworthy Software Systems (SETSS 2017), held in April 2017 at Southwest University in Chongqing, China.The...Loe edasi...
This volume contains a record of some of the lectures and seminars delivered at the Third International School on Engineering Trustworthy Software Systems (SETSS 2017), held in April 2017 at Southwest University in Chongqing, China.The...Loe edasi...
Barbara Gallina, Amund Skavhaug, Erwin Schoitsch, Friedemann Bitsch
Sari: Lecture Notes in Computer Science
(Ilmumisaeg: 03-Sep-2018, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319992297)
This book constitutes the refereed proceedings of five workshops co-located with SAFECOMP 2018, the 37th International Conference on Computer Safety, Reliability, and Security, held in Vasteras, Sweden, in September 2018.The 28 revised full papers an...Loe edasi...
Barbara Gallina, Amund Skavhaug, Erwin Schoitsch, Friedemann Bitsch
Sari: Lecture Notes in Computer Science
(Ilmumisaeg: 03-Sep-2018, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319992297)
This book constitutes the refereed proceedings of five workshops co-located with SAFECOMP 2018, the 37th International Conference on Computer Safety, Reliability, and Security, held in Vasteras, Sweden, in September 2018.The 28 revised full papers an...Loe edasi...
This book constitutes the proceedings of the 23rd International Conference on Formal Methods for Industrial Critical Systems, FMICS 2018, held in Maynooth, Ireland, in September 2018. The 9 regular papers presented in this volume were carefully revie...Loe edasi...
This book constitutes the proceedings of the 23rd International Conference on Formal Methods for Industrial Critical Systems, FMICS 2018, held in Maynooth, Ireland, in September 2018. The 9 regular papers presented in this volume were carefully revie...Loe edasi...
(Ilmumisaeg: 11-Jun-2018, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319924328)
This book constitutes the proceedings of the 23rd Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2018, held in Lisbon, Portugal, in June 2018. The 10 papers presented in this volume were carefully reviewed and selec...Loe edasi...
(Ilmumisaeg: 11-Jun-2018, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319924328)
This book constitutes the proceedings of the 23rd Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2018, held in Lisbon, Portugal, in June 2018. The 10 papers presented in this volume were carefully reviewed and selec...Loe edasi...
(Ilmumisaeg: 01-Sep-2017, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319641195)
?This book constitutes the proceedings of the 5th International Symposium on Model-Based Safety and Assessment, IMBSA 2017, held inTrento, Italy, in September 2017.The 17 revised full papers presented were carefully reviewed and selected from 29 init...Loe edasi...
(Ilmumisaeg: 01-Sep-2017, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319641195)
?This book constitutes the proceedings of the 5th International Symposium on Model-Based Safety and Assessment, IMBSA 2017, held inTrento, Italy, in September 2017.The 17 revised full papers presented were carefully reviewed and selected from 29 init...Loe edasi...
(Ilmumisaeg: 18-Aug-2017, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319659480)
This book constitutes the refereed proceedings of the International Workshop on Software Engineering for Resilient Systems, SERENE 2017, held in Geneva; Switzerland, in September 2017. The 11 papers presented together with 2 invited talks were caref...Loe edasi...
(Ilmumisaeg: 18-Aug-2017, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319659480)
This book constitutes the refereed proceedings of the International Workshop on Software Engineering for Resilient Systems, SERENE 2017, held in Geneva; Switzerland, in September 2017. The 11 papers presented together with 2 invited talks were caref...Loe edasi...
(Ilmumisaeg: 27-May-2017, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319605883)
This book constitutes the refereed proceedings of the 22nd Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2017, held in Vienna, Austria, in June 2017.The revised 15 full papers presented were carefully reviewed and...Loe edasi...
(Ilmumisaeg: 27-May-2017, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319605883)
This book constitutes the refereed proceedings of the 22nd Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2017, held in Vienna, Austria, in June 2017.The revised 15 full papers presented were carefully reviewed and...Loe edasi...
