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...
Saved in:
Corporate Authors: | , |
---|---|
Other Authors: | , |
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: | |
Online Access: | SpringerLink - Click here for access |
Similar Items
Search Result 1
Formal methods for industrial critical systems : 24th international conference, FMICS 2019, Amsterdam, the Netherlands, August 30-31, 2019 : proceedings
Published: Springer, 2019
SpringerLink - Click here for access
Description:
1 online resource : illustrations (some color).
Conference Proceeding
eBook
Search Result 2
Formal methods for industrial critical systems : 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings
Published: Springer, 2013
SpringerLink - Click here for access
Description:
1 online resource (xiv, 199 pages) : illustrations.
Conference Proceeding
eBook
Search Result 3
Formal methods for industrial critical systems : 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, proceedings
Published: Springer, 2011
SpringerLink - Click here for access
Description:
1 online resource (x, 259 pages).
Conference Proceeding
eBook
Search Result 4
Formal methods for industrial critical systems : 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015, Proceedings
Published: Springer, 2015
SpringerLink - Click here for access
Description:
1 online resource (xvi, 213 pages) : illustrations.
Conference Proceeding
eBook
Search Result 5
Formal methods for industrial critical systems : 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014. Proceedings
Published: Springer, 2014
SpringerLink - Click here for access
Description:
1 online resource (xiv, 201 pages) : illustrations.
Conference Proceeding
eBook
Search Result 6
Formal methods for industrial critical systems : 13th international workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008 : revised selected papers
Published: Springer, 2009
SpringerLink - Click here for access
Description:
1 online resource (x, 231 pages) : illustrations (some color).
Conference Proceeding
eBook
Search Result 7
Formal methods : applications and technology : 11th international workshop, FMICS 2006 and 5th international workshop, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006 :...
Published: Springer, 2007
SpringerLink - Click here for access
Description:
1 online resource (x, 361 pages) : illustrations.
Conference Proceeding
eBook
Search Result 8
Formal methods for industrial critical systems : 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings
Published: Springer, 2018
SpringerLink - Click here for access
Description:
1 online resource (xvi, 291 pages) : illustrations.
Conference Proceeding
eBook
Search Result 9
Critical systems : formal methods and automated verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop o...
Published: Springer, 2016
SpringerLink - Click here for access
Description:
1 online resource (xvi, 247 pages) : illustrations.
Conference Proceeding
eBook
Search Result 10
Formal methods for industrial critical systems : 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings
Published: Springer, 2012
SpringerLink - Click here for access
Description:
1 online resource.
Conference Proceeding
eBook
Search Result 11
Critical systems : formal methods and automated verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop o...
Published: Springer, 2017
SpringerLink - Click here for access
Description:
1 online resource (xiv, 235 pages) : illustrations.
Conference Proceeding
eBook
Search Result 12
Formal methods for industrial critical systems : 15th international workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010, proceedings
Published: Springer, 2010
SpringerLink - Click here for access
Description:
1 online resource (xii, 230 pages) : illustrations.
Conference Proceeding
eBook
Search Result 13
Formal methods for industrial critical systems : 14th international workshop, FMICS 2009, Eindhoven, the Netherlands, November 2-3, 2009 : proceedings
Published: Springer, 2009
SpringerLink - Click here for access
Description:
1 online resource (x, 212 pages) : illustrations.
Conference Proceeding
eBook
Search Result 14
Formal methods for industrial critical systems : 12th international workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007 : revised selected papers
Published: Springer, 2008
SpringerLink - Click here for access
Description:
1 online resource (x, 250 pages) : illustrations.
Conference Proceeding
eBook
Search Result 15
Leveraging applications of formal methods, verification and validation : 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, Octo...
Published: Springer, 2021
SpringerLink - Click here for access
Description:
1 online resource (505 pages).
Conference Proceeding
eBook
Search Result 16
Formal methods and software engineering : 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012 : proceedings
Published: Springer, 2012
SpringerLink - Click here for access
Description:
1 online resource (xiv, 512 pages) : illustrations.
Conference Proceeding
eBook
Search Result 17
Formal methods and software engineering : 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29-November 1, 2013, Proceedings
Published: Springer, 2013
SpringerLink - Click here for access
Description:
1 online resource (xviii, 466 pages) : illustrations.
Conference Proceeding
eBook
Search Result 18
Formal methods for industrial critical systems : 25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings
Published: Springer, 2020
SpringerLink - Click here for access
Description:
1 online resource.
Conference Proceeding
eBook
Search Result 19
Leveraging applications of formal methods, verification and validation : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, Octob...
Published: Springer, 2020
SpringerLink - Click here for access
Description:
1 online resource : illustrations.
Conference Proceeding
eBook
Search Result 20
Leveraging applications of formal methods, verification and validation : tools and trends : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rh...
Published: Springer, 2021
SpringerLink - Click here for access
Description:
1 online resource : illustrations (chiefly color).
Conference Proceeding
eBook
Search Result 21
Leveraging applications of formal methods, verification and validation : verification principles : 11th international symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, pr...
Published: Springer, 2022
SpringerLink - Click here for access
Description:
1 online resource (xiii, 598 pages) : illustrations (some color).
Conference Proceeding
eBook
Search Result 22
Leveraging applications of formal methods, verification and validation : adaptation and learning : 11th international symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, pr...
Published: Springer, 2022
SpringerLink - Click here for access
Description:
1 online resource (xiii, 424 pages) : illustrations (chiefly color).
Conference Proceeding
eBook
Search Result 23
Leveraging applications of formal methods, verification and validation : adaptation and learning : 11th international symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, pr...
Published: Springer, 2022
SpringerLink - Click here for access
Description:
1 online resource (xiii, 474 pages) : illustrations (some color).
Conference Proceeding
eBook
Search Result 24
Leveraging applications of formal methods, verification and validation : adaptation and learning : 11th international symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, pr...
Published: Springer, 2022
SpringerLink - Click here for access
Description:
1 online resource (xiii, 427 pages) : illustrations (chiefly color).
Conference Proceeding
eBook
Search Result 25
Leveraging applications of formal methods, verification and validation : applications and case studies ; 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October...
Published: Springer, 2012
SpringerLink - Click here for access
Description:
1 online resource (xvi, 361 pages) : illustrations.
Conference Proceeding
eBook
Search Result 26
Leveraging applications of formal methods, verification and validation : technologies for mastering change ; 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, Octo...
Published: Springer, 2012
SpringerLink - Click here for access
Description:
1 online resource (xvi, 617 pages) : illustrations.
Conference Proceeding
eBook
Search Result 27
Software verification and formal methods for ML-enabled autonomous systems : 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July...
Published: Springer, 2023
SpringerLink - Click here for access
Description:
1 online resource (213 pages).
Conference Proceeding
eBook
Search Result 28
Formal modeling : actors, open systems, biological systems ; essays dedicated to Carolyn Talcott on the occasion of her 70th birthday
Published: Springer, 2011
SpringerLink - Click here for access
Description:
1 online resource (xx, 445 pages) : color portraits.
eBook
Search Result 29
Formal methods and software engineering : 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings
Published: Springer, 2016
SpringerLink - Click here for access
Description:
1 online resource (xvii, 486 pages) : illustrations.
Conference Proceeding
eBook
Search Result 30
Runtime verification : 21st international conference, RV 2021, virtual event, October 11-14, 2021 : proceedings
Published: Springer, 2021
SpringerLink - Click here for access
Description:
1 online resource : illustrations (some color).
Conference Proceeding
eBook
Search Result 31
Runtime verification : 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, proceedings
Published: Springer, 2013
SpringerLink - Click here for access
Description:
1 online resource (xvii, 426 pages).
Conference Proceeding
eBook
Search Result 32
Leveraging applications of formal methods, verification and validation : Industrial practice : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Procee...
Published: Springer, 2018
SpringerLink - Click here for access
Description:
1 online resource (xiv, 530 pages) : illustrations (some color).
Conference Proceeding
eBook
Search Result 33
Leveraging applications of formal methods, verification and validation : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, Octob...
Published: Springer, 2020
SpringerLink - Click here for access
Description:
1 online resource (xxiii, 582 pages) : 2427 illustrations (110 in color).
Conference Proceeding
eBook
Search Result 34
Runtime verification : third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised selected papers
Published: Springer, 2013
SpringerLink - Click here for access
Description:
1 online resource.
Conference Proceeding
eBook
Search Result 35
Hardware and software : verification and testing : 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings
Published: Springer, 2017
SpringerLink - Click here for access
Description:
1 online resource (xxii, 253 pages) : illustrations.
Conference Proceeding
eBook
Search Result 36
Leveraging applications of formal methods, verification and validation : verification : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings....
Published: Springer, 2018
SpringerLink - Click here for access
Description:
1 online resource (xv, 588 pages) : illustrations (some color).
Conference Proceeding
eBook
Search Result 37
Leveraging applications of formal methods, verification and validation : modeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, proceedings. Part...
Published: Springer, 2018
SpringerLink - Click here for access
Description:
1 online resource (xv, 588 pages) : illustrations (some color).
Conference Proceeding
eBook
Search Result 38
Leveraging applications of formal methods, verification and validation : distributed systems : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Procee...
Published: Springer, 2018
SpringerLink - Click here for access
Description:
1 online resource (xiv, 522 pages) : illustrations (some color).
Conference Proceeding
eBook
Search Result 39
Leveraging applications of formal methods, verification and validation : foundational techniques : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14,...
Published: Springer, 2016
SpringerLink - Click here for access
Description:
1 online resource (xxiii, 974 pages) : illustrations.
Conference Proceeding
eBook
Search Result 40
Leveraging applications of formal methods, verification and validation : discussion, dissemination, applications : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece,...
Published: Springer, 2016
SpringerLink - Click here for access
Description:
1 online resource (xxiv, 866 pages) : illustrations.
Conference Proceeding
eBook