Critical systems formal methods

Formal Methods for Industrial Critical Systems

Sprache: Englisch

Verlag: Springer 2025

3032009413 / 9783032009418

Softcover

Anbieter: PBShop.store US, Wood Dale, USAPBShop.store US

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 61,42

Versand nach gratis

Versand innerhalb von USA

Anzahl: 1 verfügbar

PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.

Formal Methods for Industrial Critical Systems

Sprache: Englisch

Verlag: Springer 2025

3032009413 / 9783032009418

Softcover

Anbieter: PBShop.store UK, Fairford, Vereinigtes KönigreichPBShop.store UK

Verkäufer/-in mit 4 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 58,10

EUR 4,81 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: 1 verfügbar

PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.

Formal Methods for Industrial Critical Systems: 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings (Programming and Software Engineering)

Sprache: Englisch

Verlag: Springer 2015

3319194577 / 9783319194578

Softcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 54,40

EUR 13,85 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New. In.

Formal Methods for Industrial Critical Systems: 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013, Proceedings (Programming and Software Engineering)

Sprache: Englisch

Verlag: Springer 2013

364241009X / 9783642410093

Softcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 54,40

EUR 13,85 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New. In.

Formal Methods for Industrial Critical Systems: 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings (Lecture Notes in Computer Science, 7437)

Sprache: Englisch

Verlag: Springer 2012

3642324681 / 9783642324680

Softcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 54,40

EUR 13,85 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New. In.

Formal Methods for Industrial Critical Systems: 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings (Programming and Software Engineering)

Sprache: Englisch

Verlag: Springer 2014

3319107011 / 9783319107011

Softcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 54,40

EUR 13,85 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New. In.

Formal Methods: Applications and Technology: 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th ... (Lecture Notes in Computer Science, 4346)

Sprache: Englisch

Verlag: Springer 2007

3540709517 / 9783540709510

Softcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 60,50

EUR 13,85 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New. In.

Formal Methods for Industrial Critical Systems: 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers (Lecture Notes in Computer Science, 4916)

Sprache: Englisch

Verlag: Springer 2008

3540797068 / 9783540797067

Softcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 60,50

EUR 13,85 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New. In.

Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings (Lecture Notes in Computer Science, 5825)

Sprache: Englisch

Verlag: Springer 2009

3642045693 / 9783642045691

Softcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 60,50

EUR 13,85 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New. In.

Critical Systems: Formal Methods and Automated Verification: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and ... (Programming and Software Engineering)

Sprache: Englisch

Verlag: Springer 2016

3319459422 / 9783319459424

Softcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 60,50

EUR 13,85 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New. In.

Critical Systems: Formal Methods and Automated Verification: Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and ... (Programming and Software Engineering)

Sprache: Englisch

Verlag: Springer 2017

331967112X / 9783319671123

Softcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 60,50

EUR 13,85 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New. In.

Formal Methods for Industrial Critical Systems: 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings (Programming and Software Engineering)

Sprache: Englisch

Verlag: Springer 2018

3030002438 / 9783030002435

Softcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 60,50

EUR 13,85 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New. In.

Formal Methods for Industrial Critical Systems: 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, Proceedings (Lecture Notes in Computer Science, 6959)

Sprache: Englisch

Verlag: Springer 2011

3642244300 / 9783642244308

Softcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 60,50

EUR 13,85 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New. In.

Formal Methods for Industrial Critical Systems: 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers (Lecture Notes in Computer Science, 5596)

Sprache: Englisch

Verlag: Springer 2009

3642032397 / 9783642032394

Softcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 60,50

EUR 13,85 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New. In.

Formal Methods for Industrial Critical Systems: 26th International Conference, FMICS 2021, Paris, France, August 24-26, 2021, Proceedings (Programming and Software Engineering)

Sprache: Englisch

Verlag: Springer 2021

3030852474 / 9783030852474

Softcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 60,50

EUR 13,85 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New. In.

Formal Methods for Industrial Critical Systems: 25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings (Programming and Software Engineering)

Sprache: Englisch

Verlag: Springer 2020

3030582973 / 9783030582975

Softcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 60,50

EUR 13,85 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New. In.

Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019, Proceedings (Programming and Software Engineering)

Sprache: Englisch

Verlag: Springer 2019

3030270076 / 9783030270070

Softcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 60,50

EUR 13,85 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New. In.

Formal Methods for Industrial Critical Systems: 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings (Lecture Notes in Computer Science, 14952)

Sprache: Englisch

Verlag: Springer 2024

3031681495 / 9783031681493

Softcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 66,60

EUR 13,85 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New. In.

Formal Methods for Industrial Critical Systems: 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings (Lecture Notes in Computer Science)

Sprache: Englisch

Verlag: Springer 2023

3031436806 / 9783031436802

Softcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 66,60

EUR 13,85 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New. In.

Formal Methods for Industrial Critical Systems: 17th International Workshop, Fmics 2012, Paris, France, August 27-28, 2012, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)

Stoelinga, Mariëlle (Editor) / Pinger, Ralf (Editor)

Sprache: Englisch

Verlag: Springer 2012

3642324681 / 9783642324680

Softcover

Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 70,88

EUR 11,56 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: 2 verfügbar

Paperback. Zustand: Brand New. 2012 edition. 237 pages. 9.20x6.10x0.70 inches. In Stock.

Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings (Lecture Notes in Computer Science)

Sprache: Englisch

Verlag: Springer 2022

3031150074 / 9783031150074

Softcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 72,69

EUR 13,85 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

Zustand: New. In.

Formal Methods for Industrial Critical Systems (eng)

Groote, Jan Friso

Sprache: Englisch

Verlag: Springer 2022

3031150074 / 9783031150074

Softcover

Anbieter: Brook Bookstore, Milano, ItalienBrook Bookstore

Verkäufer/-in mit 4 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 57,50

EUR 27,99 Versand

Versand von Italien nach USA

Anzahl: 5 verfügbar

Zustand: new.

Formal Methods for Industrial Critical Systems: 24th International Conference, Fmics 2019, Amsterdam, the Netherlands, August 3031, 2019, Proceedings

Larsen, Kim Guldstrand (Editor)/ Willemse, Tim (Editor)

Sprache: Englisch

Verlag: Springer-Verlag New York Inc 2019

3030270076 / 9783030270070

Softcover

Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 76,63

EUR 11,56 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: 2 verfügbar

Paperback. Zustand: Brand New. 180 pages. 9.25x6.10x0.39 inches. In Stock.

Formal Methods for Industrial Critical Systems: 14th International Workshop, Fmics 2009, Eindhoven, the Netherlands, November 2-3, 2009, Proceedings

Alpuente, Maria (Editor)/ Cook, Byron/ Joubert, Christophe

Sprache: Englisch

Verlag: Springer-Verlag New York Inc 2009

3642045693 / 9783642045691

Softcover

Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 77,82

EUR 11,56 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: 2 verfügbar

Paperback. Zustand: Brand New. 1st edition. 212 pages. 9.25x6.00x0.50 inches. In Stock.

Formal Methods for Industrial Critical Systems: 13th International Workshop, Fmics 2008, L'aquila, Italy, September 15-16, 2008, Revised Selected Papers: Vol 5596

Cofer, Darren (Editor)/ Fantechi, Alessandro (Editor)

Sprache: Englisch

Verlag: Springer-Verlag New York Inc 2009

3642032397 / 9783642032394

Softcover

Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 77,82

EUR 11,56 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: 2 verfügbar

Paperback. Zustand: Brand New. 2009 edition. 233 pages. 9.29x6.06x0.55 inches. In Stock.

Formal Methods for Industrial Critical Systems: 26th International Conference, Fmics 2021, Paris, France, August 2426, 2021, Proceedings

Lluch Lafuente, Alberto (Editor)/ Mavridou, Anastasia (Editor)

Sprache: Englisch

Verlag: Springer-Nature New York Inc 2021

3030852474 / 9783030852474

Softcover

Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 77,92

EUR 11,56 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: 2 verfügbar

Paperback. Zustand: Brand New. 261 pages. 9.25x6.10x0.55 inches. In Stock.

Formal Methods for Industrial Critical Systems: 15th International Workshop, Fmics 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings

Kowalewski, Stefan (Editor)

Sprache: Englisch

Verlag: Springer-Verlag New York Inc 2010

3642158978 / 9783642158971

Softcover

Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 78,08

EUR 11,56 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: 1 verfügbar

Paperback. Zustand: Brand New. 231 pages. 9.50x6.25x0.75 inches. In Stock.

Formal Methods for Industrial Critical Systems: 16th International Workshop, Fmics 2011, Trento, Italy, August 29-30, 2011, Proceedings

Salaun, Gwen (Editor)/ Schatz, Bernhard (Editor)

Sprache: Englisch

Verlag: Springer-Verlag New York Inc 2011

3642244300 / 9783642244308

Softcover

Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 78,34

EUR 11,56 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: 2 verfügbar

Paperback. Zustand: Brand New. 2011 edition. 271 pages. 9.00x6.00x0.50 inches. In Stock.

Formal Methods for Industrial Critical Systems: 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers

Leue, Stefan (Editor)/ Merino, Pedro (Editor)

Sprache: Englisch

Verlag: Springer-Verlag New York Inc 2008

3540797068 / 9783540797067

Softcover

Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 78,34

EUR 11,56 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: 2 verfügbar

Paperback. Zustand: Brand New. 1st edition. 251 pages. 9.00x6.00x0.55 inches. In Stock.

Formal Methods for Industrial Critical Systems: 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings (Lecture Notes in Computer Science)

Howar, Falk (Editor) / Barnat, Jirí (Editor)

Sprache: Englisch

Verlag: Springer 2018

3030002438 / 9783030002435

Softcover

Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books

Verkäufer/-in mit 5 Sternen

Verkäufer/-in kontaktieren

Zustand: Neu

EUR 78,64

EUR 11,56 Versand

Versand von Vereinigtes Königreich nach USA

Anzahl: 2 verfügbar

Paperback. Zustand: Brand New. 308 pages. 9.25x6.10x0.70 inches. In Stock.

Critical systems formal methods (92 Ergebnisse)

Optimieren Sie Ihre Suche

Formal Methods for Industrial Critical Systems

Formal Methods for Industrial Critical Systems

Formal Methods for Industrial Critical Systems: 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings (Programming and Software Engineering)

Formal Methods for Industrial Critical Systems: 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013, Proceedings (Programming and Software Engineering)

Formal Methods for Industrial Critical Systems: 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings (Lecture Notes in Computer Science, 7437)

Formal Methods for Industrial Critical Systems: 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings (Programming and Software Engineering)

Formal Methods: Applications and Technology: 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th ... (Lecture Notes in Computer Science, 4346)

Formal Methods for Industrial Critical Systems: 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers (Lecture Notes in Computer Science, 4916)

Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings (Lecture Notes in Computer Science, 5825)

Critical Systems: Formal Methods and Automated Verification: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and ... (Programming and Software Engineering)

Critical Systems: Formal Methods and Automated Verification: Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and ... (Programming and Software Engineering)

Formal Methods for Industrial Critical Systems: 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings (Programming and Software Engineering)

Formal Methods for Industrial Critical Systems: 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, Proceedings (Lecture Notes in Computer Science, 6959)

Formal Methods for Industrial Critical Systems: 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers (Lecture Notes in Computer Science, 5596)

Formal Methods for Industrial Critical Systems: 26th International Conference, FMICS 2021, Paris, France, August 24-26, 2021, Proceedings (Programming and Software Engineering)

Formal Methods for Industrial Critical Systems: 25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings (Programming and Software Engineering)

Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019, Proceedings (Programming and Software Engineering)

Formal Methods for Industrial Critical Systems: 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings (Lecture Notes in Computer Science, 14952)

Formal Methods for Industrial Critical Systems: 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings (Lecture Notes in Computer Science)

Formal Methods for Industrial Critical Systems: 17th International Workshop, Fmics 2012, Paris, France, August 27-28, 2012, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)

Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings (Lecture Notes in Computer Science)

Formal Methods for Industrial Critical Systems (eng)

Formal Methods for Industrial Critical Systems: 24th International Conference, Fmics 2019, Amsterdam, the Netherlands, August 3031, 2019, Proceedings

Formal Methods for Industrial Critical Systems: 14th International Workshop, Fmics 2009, Eindhoven, the Netherlands, November 2-3, 2009, Proceedings

Formal Methods for Industrial Critical Systems: 13th International Workshop, Fmics 2008, L'aquila, Italy, September 15-16, 2008, Revised Selected Papers: Vol 5596

Formal Methods for Industrial Critical Systems: 26th International Conference, Fmics 2021, Paris, France, August 2426, 2021, Proceedings

Formal Methods for Industrial Critical Systems: 15th International Workshop, Fmics 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings

Formal Methods for Industrial Critical Systems: 16th International Workshop, Fmics 2011, Trento, Italy, August 29-30, 2011, Proceedings

Formal Methods for Industrial Critical Systems: 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers

Formal Methods for Industrial Critical Systems: 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings (Lecture Notes in Computer Science)