Loading…

Formal methods for industrial critical systems 26th international conference, FMICS 2021, Paris, France, August 24-26, 2021 : proceedings /

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 COVID-19 pandemic it changed to a virtual event. The...

Full description

Saved in:

Bibliographic Details
Corporate Authors:	International Workshop on Formal Methods for Industrial Critical Systems Online, SpringerLink (Online service)
Other Authors:	Lluch Lafuente, Alberto (Editor), Mavridou, Anastasia (Editor)
Format:	Conference Proceeding eBook
Language:	English
Published:	Cham : Springer, [2021]
Series:	Lecture notes in computer science ; 12863. LNCS sublibrary. Programming and software engineering.
Physical Description:	1 online resource : illustrations.
Subjects:	Formal methods (Computer science) -- Congresses. Software engineering -- Congresses. Computer programs -- Verification -- Congresses. Computer programs -- Reliability -- Congresses. Computer software -- Verification -- Congresses. Computer software -- Reliability -- Congresses.
Online Access:	SpringerLink - Click here for access

Formal methods for industrial critical systems : 24th international conference, FMICS 2019, Amsterdam, the Netherlands, August 30-31, 2019 : proceedings by International Workshop on Formal Methods for Industrial Critical Systems Amsterdam, Netherlands, SpringerLink (Online service)

Published: Springer, 2019

Description: 1 online resource : illustrations (some color).

SpringerLink - Click here for access

Conference Proceeding eBook

Formal methods for industrial critical systems 26th international conference, FMICS 2021, Paris, France, August 24-26, 2021 : proceedings /

Similar Items

Formal methods for industrial critical systems : 24th international conference, FMICS 2019, Amsterdam, the Netherlands, August 30-31, 2019 : proceedings by International Workshop on Formal Methods for Industrial Critical Systems Amsterdam, Netherlands, SpringerLink (Online service)

Formal methods for industrial critical systems : 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings by International Workshop on Formal Methods for Industrial Critical Systems Madrid, Spain, SpringerLink (Online service)

Formal methods for industrial critical systems : 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, proceedings by International Workshop on Formal Methods for Industrial Critical Systems Trento, Italy, SpringerLink (Online service)

Formal methods for industrial critical systems : 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015, Proceedings by International Workshop on Formal Methods for Industrial Critical Systems Oslo, Norway, SpringerLink (Online service)

Formal methods for industrial critical systems : 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014. Proceedings by International Workshop on Formal Methods for Industrial Critical Systems Florence, Italy, SpringerLink (Online service)

Formal methods for industrial critical systems : 13th international workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008 : revised selected papers by International Workshop on Formal Methods for Industrial Critical Systems L'Aquila, Italy, SpringerLink (Online service)

Formal methods for industrial critical systems : 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings by International Workshop on Formal Methods for Industrial Critical Systems Maynooth, Ireland, SpringerLink (Online service)

Formal methods for industrial critical systems : 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings by International Workshop on Formal Methods for Industrial Critical Systems Paris, France, SpringerLink (Online service)

Formal methods for industrial critical systems : 15th international workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010, proceedings by International Workshop on Formal Methods for Industrial Critical Systems Antwerp, Belgium, SpringerLink (Online service)

Formal methods for industrial critical systems : 14th international workshop, FMICS 2009, Eindhoven, the Netherlands, November 2-3, 2009 : proceedings by International Workshop on Formal Methods for Industrial Critical Systems Eindhoven, Netherlands, SpringerLink (Online service)

Formal methods for industrial critical systems : 12th international workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007 : revised selected papers by International Workshop on Formal Methods for Industrial Critical Systems Berlin, Germany, SpringerLink (Online service)

Leveraging applications of formal methods, verification and validation : 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, Octo... by ISoLA (Symposium) Rhodes, Greece), SpringerLink (Online service)

Formal methods and software engineering : 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012 : proceedings by International Conference on Formal Engineering Methods Kyoto, Japan, SpringerLink (Online service)

Formal methods and software engineering : 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29-November 1, 2013, Proceedings by International Conference on Formal Engineering Methods Queenstown, N.Z., SpringerLink (Online service)

Formal methods for industrial critical systems : 25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings by FMICS (Conference) Online), SpringerLink (Online service)

Leveraging applications of formal methods, verification and validation : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, Octob... by ISoLA (Symposium) Online), SpringerLink (Online service)

Leveraging applications of formal methods, verification and validation : tools and trends : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rh... by ISoLA (Symposium) Online), SpringerLink (Online service)

Leveraging applications of formal methods, verification and validation : verification principles : 11th international symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, pr... by ISoLA (Symposium) Rhodes, Greece), SpringerLink (Online service)

Leveraging applications of formal methods, verification and validation : adaptation and learning : 11th international symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, pr... by ISoLA (Symposium) Rhodes, Greece), SpringerLink (Online service)

Leveraging applications of formal methods, verification and validation : adaptation and learning : 11th international symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, pr... by ISoLA (Symposium) Rhodes, Greece), SpringerLink (Online service)

Leveraging applications of formal methods, verification and validation : adaptation and learning : 11th international symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, pr... by ISoLA (Symposium) Rhodes, Greece), SpringerLink (Online service)

Leveraging applications of formal methods, verification and validation : applications and case studies ; 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October... by ISoLA (Symposium) Ērakleion, Greece), SpringerLink (Online service)

Leveraging applications of formal methods, verification and validation : technologies for mastering change ; 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, Octo... by ISoLA (Symposium) Ērakleion, Greece), SpringerLink (Online service)

Formal modeling : actors, open systems, biological systems ; essays dedicated to Carolyn Talcott on the occasion of her 70th birthday by SpringerLink (Online service)

Formal methods and software engineering : 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings by International Conference on Formal Engineering Methods Tokyo, Japan, SpringerLink (Online service)

Runtime verification : 21st international conference, RV 2021, virtual event, October 11-14, 2021 : proceedings by RV (Conference) Online), SpringerLink (Online service)

Runtime verification : 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, proceedings by RV (Conference) Rennes, France), SpringerLink (Online service)

Leveraging applications of formal methods, verification and validation : Industrial practice : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Procee... by ISoLA (Symposium) Limassol, Cyprus), SpringerLink (Online service)

Leveraging applications of formal methods, verification and validation : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, Octob... by ISoLA (Symposium) Online), SpringerLink (Online service)

Runtime verification : third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised selected papers by RV (Conference) Istanbul, Turkey), SpringerLink (Online service)

Hardware and software : verification and testing : 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings by International Haifa Verification Conference Haifa, Israel, SpringerLink (Online service)

Leveraging applications of formal methods, verification and validation : verification : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings.... by ISoLA (Symposium) Limassol, Cyprus), SpringerLink (Online service)

Leveraging applications of formal methods, verification and validation : modeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, proceedings. Part... by ISoLA (Symposium) Limassol, Cyprus), SpringerLink (Online service)

Leveraging applications of formal methods, verification and validation : distributed systems : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Procee... by ISoLA (Symposium) Limassol, Cyprus), SpringerLink (Online service)

Leveraging applications of formal methods, verification and validation : foundational techniques : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14,... by ISoLA (Symposium) Kerkyra, Greece), SpringerLink (Online service)

Leveraging applications of formal methods, verification and validation : discussion, dissemination, applications : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece,... by ISoLA (Symposium) Kerkyra, Greece), SpringerLink (Online service)

Similar Items