Formal Methods for Industrial Critical Systems: 26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings

Name: Formal Methods for Industrial Critical Systems: 26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings
Price: 60.99 CAD
Availability: InStock
Author: Alberto Lluch Lafuente
ISBN: 9783030852481

Edited by Alberto Lluch Lafuente

Sep 10, 2021

$60.99 ~~Price reduced from $75.48 to~~

Online pricing. Prices and offers may vary in store.

Buy eBook

Overview

Language

English

Programming and Software Engineering

Publisher: Springer International Publishing

ISBN: 9783030852481

Information, Technology in Bio- and Medical Informatics, ITBAM 2010: First International Conference, Bilbao, Spain, September 1-2, 2010, Proceedings

Sami Khuri Paperback
$80.50
International Conference on Applied Technologies: 5th International Conference on Applied Technologies, ICAT 2023, Samborondon, Ecuador, November 22-24, 2023, Revised Selected Papers, Part II

Miguel Botto-tobar Paperback
$72.95
International Conference on Applied Technologies: 5th International Conference on Applied Technologies, ICAT 2023, Samborondon, Ecuador, November 22-24, 2023, Revised Selected Papers, Part II

Miguel Botto-tobar Paperback
$189.95
2 formats available
International Conference on Applied Technologies: 5th International Conference on Applied Technologies, ICAT 2023, Samborondon, Ecuador, November 22-24, 2023, Revised Selected Papers, Part III

Miguel Botto-tobar Paperback
$204.50
2 formats available
End-user Development: 8th International Symposium, Is-eud 2021, Virtual Event, July 6-8, 2021, Proceedings

Daniela Fogli Paperback
$80.50
2 formats available
Database and Expert Systems Applications: 14th International Conference, DEXA 2003, Prague, Czech Republic, September 1-5, 2003, Proceedings

Vladimir Marik Paperback
$160.95
International Conference on Applied Technologies: 5th International Conference on Applied Technologies, ICAT 2023, Samborondon, Ecuador, November 22-24, 2023, Revised Selected Papers, Part III

Miguel Botto-tobar Paperback
$72.95
Human Error, Safety and Systems Development: 7th IFIP WG 13.5 Working Conference, HESSD 2009, Brussels, Belgium, September 23-25, 2009, Revised Selected Papers

Philippe Palanque Paperback
$80.50
International Conference on Applied Technologies: 5th International Conference on Applied Technologies, ICAT 2023, Samborondon, Ecuador, November 22-24, 2023, Revised Selected Papers, Part I

Miguel Botto-tobar Paperback
$72.95
Verification, Model Checking, And Abstract Interpretation: 20th International Conference, Vmcai 2019, Cascais, Portugal, January 13-15, 2019, Proceedings

Constantin Enea Paperback
$80.50
2 formats available
Formal Methods For Industrial Critical Systems: 25th International Conference, Fmics 2020, Vienna, Austria, September 2-3, 2020, Proceedings

Maurice H. ter Beek Paperback
$80.50
2 formats available
Geographical Information Systems Theory, Applications and Management: 7th International Conference, GISTAM 2021, Virtual Event, April 23-25, 2021, and 8th International Conference, GISTAM 2022, Virtual Event, April 27-29, 2022, Revised Selected Papers

Cédric Grueau Paperback
$94.95
2 formats available
Formal Methods for Industrial Critical Systems: 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings

Alessandro Cimatti Paperback
$94.95
2 formats available
International Conference on Applied Technologies: 5th International Conference on Applied Technologies, ICAT 2023, Samborondon, Ecuador, November 22-24, 2023, Revised Selected Papers, Part I

Miguel Botto-tobar Paperback
$189.95
2 formats available
Reliable Software Technologies - Ada-Europe 2003: 8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16-20, 2003, Proceedings

Jean-Pierre Rosen Paperback
$80.50
Testing Software and Systems: 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011, Proceedings

Burkhart Wolff Paperback
$80.50
Algorithmic Aspects in Information and Management: 18th International Conference, AAIM 2024, Virtual Event, September 21-23, 2024, Proceedings, Part II

Smita Ghosh Paperback
$94.95
2 formats available
Algorithmic Aspects in Information and Management: Third International Conference, AAIM 2007, Portland, OR, USA, June 6-8, 2007, Proceedings

Ming-Yang Kao Paperback
$80.50
Theoretical Aspects of Computing - ICTAC 2021: 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8-10, 2021, Proceedings

Antonio Cerone Paperback
$124.50
2 formats available
Applications And Techniques In Information Security: 9th International Conference, Atis 2018, Nanning, China, November 9-11, 2018, Proceedings

Qingfeng Chen Paperback
$80.50
2 formats available

Editorial reviews

alberto lluch lafuente

Author

Formal Methods: Foundations and Applications: 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6-10, 2021, Proceedings

Sérgio Campos Paperback
$87.95
2 formats available
Reliable Software Technologies - Ada-Europe 2010: 15th Ada-Europe International Conference on Reliabel Software Technologies, Valencia, Spain, June 14-18, 2010, Proceedings

Jorge Real Paperback
$80.50
Rules and Reasoning: 5th International Joint Conference, RuleML+RR 2021, Leuven, Belgium, September 13-15, 2021, Proceedings

Sotiris Moschoyiannis Paperback
$102.50
2 formats available
Formal Methods for Industrial Critical Systems: 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, Proceedings

Gwen Sala Paperback
$80.50
Software Engineering for Resilient Systems: 6th International Workshop, SERENE 2014, Budapest, Hungary, October 15-16, 2014. Proceedings

Istv Majzik Paperback
$65.95
Case-based Reasoning Research And Development: 29th International Conference, Iccbr 2021, Salamanca, Spain, September 13-16, 2021, Proceedings

Antonio A. Sánchez-ruiz Paperback
$124.50
2 formats available
Web Information Systems and Technologies: 14th International Conference, WEBIST 2018, Seville, Spain, September 18-20, 2018, Revised Selected Papers

María Jos Escalona Paperback
$80.50
2 formats available
Constructive Side-Channel Analysis and Secure Design: 13th International Workshop, COSADE 2022, Leuven, Belgium, April 11-12, 2022, Proceedings

Josep Balasch Paperback
$116.95
2 formats available
Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011, Proceedings

Gilles Barthe Paperback
$80.50
Computational Logistics: 10th International Conference, ICCL 2019, Barranquilla, Colombia, September 30 - October 2, 2019, Proceedings

Carlos Paternina-arboleda Paperback
$80.50
2 formats available
Product-Focused Software Process Improvement: 13th International Conference, PROFES 2012, Madrid, Spain, June 13-15, 2012, Proceedings

Oscar Dieste Paperback
$80.50
Reliable Software Technologies - Ada-Europe 2012: 17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012, Proceedings

Mats Brorsson Paperback
$80.50
Software Engineering And Formal Methods: 11th International Conference, Sefm 2013, Madrid, Spain, September 25-27, 2013, Proceedings

Robert M. Hierons Paperback
$80.50
Product-focused Software Process Improvement: 20th International Conference, Profes 2019, Barcelona, Spain, November 27-29, 2019, Proceedings

Xavier Franch Paperback
$80.50
2 formats available
Trends in Applied Intelligent Systems: 23rd International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2010, Cordoba, Spain, June 1-4, 2010, Proceedings, Part III

Nicol García-Pedrajas Paperback
$160.95
Logic, Language, Information and Computation: 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010, Proceedings

Anuj Dawar Paperback
$80.50
Statistical Language And Speech Processing: 9th International Conference, Slsp 2021, Virtual Event, November 22-26, 2021, Proceedings

Luis Espinosa-anke Paperback
$87.95
2 formats available
Performance Engineering and Stochastic Modeling: 17th European Workshop, EPEW 2021, and 26th International Conference, ASMTA 2021, Virtual Event, December 9-10 and December 13-14, 2021, Proceedings

Paolo Ballarini Paperback
$116.95
2 formats available
Model and Data Engineering: Third International Conference, MEDI 2013, Amantea, Italy, September 25-27, 2013 Proceedings

Alfredo Cuzzocrea Paperback
$80.50
Search Based Software Engineering: Fourth International Symposium, SSBSE 2012, Riva del Garda, September 28-30, 2012, Proceedings

Gordon Fraser Paperback
$80.50

Formal Methods for Industrial Critical Systems: 26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings

Overview

You May Also Like

Information, Technology in Bio- and Medical Informatics, ITBAM 2010: First International Conference, Bilbao, Spain, September 1-2, 2010, Proceedings

International Conference on Applied Technologies: 5th International Conference on Applied Technologies, ICAT 2023, Samborondon, Ecuador, November 22-24, 2023, Revised Selected Papers, Part II

International Conference on Applied Technologies: 5th International Conference on Applied Technologies, ICAT 2023, Samborondon, Ecuador, November 22-24, 2023, Revised Selected Papers, Part II

International Conference on Applied Technologies: 5th International Conference on Applied Technologies, ICAT 2023, Samborondon, Ecuador, November 22-24, 2023, Revised Selected Papers, Part III

End-user Development: 8th International Symposium, Is-eud 2021, Virtual Event, July 6-8, 2021, Proceedings

Database and Expert Systems Applications: 14th International Conference, DEXA 2003, Prague, Czech Republic, September 1-5, 2003, Proceedings

International Conference on Applied Technologies: 5th International Conference on Applied Technologies, ICAT 2023, Samborondon, Ecuador, November 22-24, 2023, Revised Selected Papers, Part III

Human Error, Safety and Systems Development: 7th IFIP WG 13.5 Working Conference, HESSD 2009, Brussels, Belgium, September 23-25, 2009, Revised Selected Papers

International Conference on Applied Technologies: 5th International Conference on Applied Technologies, ICAT 2023, Samborondon, Ecuador, November 22-24, 2023, Revised Selected Papers, Part I

Verification, Model Checking, And Abstract Interpretation: 20th International Conference, Vmcai 2019, Cascais, Portugal, January 13-15, 2019, Proceedings

Formal Methods For Industrial Critical Systems: 25th International Conference, Fmics 2020, Vienna, Austria, September 2-3, 2020, Proceedings

Geographical Information Systems Theory, Applications and Management: 7th International Conference, GISTAM 2021, Virtual Event, April 23-25, 2021, and 8th International Conference, GISTAM 2022, Virtual Event, April 27-29, 2022, Revised Selected Papers

Formal Methods for Industrial Critical Systems: 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings

International Conference on Applied Technologies: 5th International Conference on Applied Technologies, ICAT 2023, Samborondon, Ecuador, November 22-24, 2023, Revised Selected Papers, Part I

Reliable Software Technologies - Ada-Europe 2003: 8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16-20, 2003, Proceedings

Testing Software and Systems: 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011, Proceedings

Algorithmic Aspects in Information and Management: 18th International Conference, AAIM 2024, Virtual Event, September 21-23, 2024, Proceedings, Part II

Algorithmic Aspects in Information and Management: Third International Conference, AAIM 2007, Portland, OR, USA, June 6-8, 2007, Proceedings

Theoretical Aspects of Computing - ICTAC 2021: 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8-10, 2021, Proceedings

Applications And Techniques In Information Security: 9th International Conference, Atis 2018, Nanning, China, November 9-11, 2018, Proceedings

Ratings & Reviews

Editorial reviews

Author

Others Also Bought

Formal Methods: Foundations and Applications: 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6-10, 2021, Proceedings

Reliable Software Technologies - Ada-Europe 2010: 15th Ada-Europe International Conference on Reliabel Software Technologies, Valencia, Spain, June 14-18, 2010, Proceedings

Rules and Reasoning: 5th International Joint Conference, RuleML+RR 2021, Leuven, Belgium, September 13-15, 2021, Proceedings

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

Software Engineering for Resilient Systems: 6th International Workshop, SERENE 2014, Budapest, Hungary, October 15-16, 2014. Proceedings

Case-based Reasoning Research And Development: 29th International Conference, Iccbr 2021, Salamanca, Spain, September 13-16, 2021, Proceedings

Web Information Systems and Technologies: 14th International Conference, WEBIST 2018, Seville, Spain, September 18-20, 2018, Revised Selected Papers

Constructive Side-Channel Analysis and Secure Design: 13th International Workshop, COSADE 2022, Leuven, Belgium, April 11-12, 2022, Proceedings

Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011, Proceedings

Computational Logistics: 10th International Conference, ICCL 2019, Barranquilla, Colombia, September 30 - October 2, 2019, Proceedings

Product-Focused Software Process Improvement: 13th International Conference, PROFES 2012, Madrid, Spain, June 13-15, 2012, Proceedings

Reliable Software Technologies - Ada-Europe 2012: 17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012, Proceedings

Software Engineering And Formal Methods: 11th International Conference, Sefm 2013, Madrid, Spain, September 25-27, 2013, Proceedings

Product-focused Software Process Improvement: 20th International Conference, Profes 2019, Barcelona, Spain, November 27-29, 2019, Proceedings

Trends in Applied Intelligent Systems: 23rd International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2010, Cordoba, Spain, June 1-4, 2010, Proceedings, Part III

Logic, Language, Information and Computation: 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010, Proceedings

Statistical Language And Speech Processing: 9th International Conference, Slsp 2021, Virtual Event, November 22-26, 2021, Proceedings

Performance Engineering and Stochastic Modeling: 17th European Workshop, EPEW 2021, and 26th International Conference, ASMTA 2021, Virtual Event, December 9-10 and December 13-14, 2021, Proceedings

Model and Data Engineering: Third International Conference, MEDI 2013, Amantea, Italy, September 25-27, 2013 Proceedings

Search Based Software Engineering: Fourth International Symposium, SSBSE 2012, Riva del Garda, September 28-30, 2012, Proceedings