Cover Image

QR Code

Formal Methods for Industrial Critical Systems 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings /

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 reviewed and selected from 17 submissions. The book als...

Full description

Corporate Author:	SpringerLink (Online service)
Other Authors:	Howar, Falk. (Editor, http://id.loc.gov/vocabulary/relators/edt), Barnat, Jiří. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Language:	English
Published:	Cham : Springer International Publishing : Imprint: Springer, 2018.
Edition:	1st ed. 2018.
Series:	Programming and Software Engineering ; 11119
Subjects:	Programming languages (Electronic computers). Software engineering. Computers. Computer simulation. Computer organization. Programming Languages, Compilers, Interpreters. Software Engineering. Theory of Computation. Simulation and Modeling. The Computing Profession. Computer Systems Organization and Communication Networks.
Online Access:	https://doi.org/10.1007/978-3-030-00244-2

Similar Items

Fundamental Approaches to Software Engineering 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings / edited by Alessandra Russo, Andy Schürr.
Published: (2018)

A Study Guide to the ISTQB® Foundation Level 2018 Syllabus Test Techniques and Sample Mock Exams / by Adam Roman.
by: Roman, Adam., et al.
Published: (2018)

Formal Methods: Foundations and Applications 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings / edited by Simone Cavalheiro, José Fiadeiro.
Published: (2017)

Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings / edited by Tiziana Margaria, Bernhard Steffen.
Published: (2008)

Lectures on Runtime Verification Introductory and Advanced Topics / edited by Ezio Bartocci, Yliès Falcone.
Published: (2018)

Fifth IFIP International Conference on Theoretical Computer Science - TCS 2008 IFIP 20th World Computer Congress, TC 1, Foundations of Computer Science, September 7-10, 2008, Milano, Italy / edited by Giorgio Ausiello, Juhani Karhumäki, Giancarlo Mauri, Luke Ong.
Published: (2008)

Integrated Formal Methods 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings / edited by Carlo A. Furia, Kirsten Winter.
Published: (2018)

Formal Techniques for Distributed Objects, Components, and Systems 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings / edited by Jorge A. Pérez, Nobuko Yoshida.
Published: (2019)

Being a Researcher An Informatics Perspective / by Carlo Ghezzi.
by: Ghezzi, Carlo., et al.
Published: (2020)

History of Nordic Computing 4 4th IFIP WG 9.7 Conference, HiNC 4, Copenhagen, Denmark, August 13-15, 2014, Revised Selected Papers / edited by Christian Gram, Per Rasmussen, Søren Duus Østergaard.
Published: (2015)

Leveraging Applications of Formal Methods, Verification and Validation. Modeling 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I / edited by Tiziana Margaria, Bernhard Steffen.
Published: (2018)

Leveraging Applications of Formal Methods, Verification and Validation. Verification 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II / edited by Tiziana Margaria, Bernhard Steffen.
Published: (2018)

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV / edited by Tiziana Margaria, Bernhard Steffen.
Published: (2018)

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III / edited by Tiziana Margaria, Bernhard Steffen.
Published: (2018)

Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings / edited by Reiner Hähnle, Wil van der Aalst.
Published: (2019)

Guide to Distributed Simulation with HLA by Okan Topçu, Halit Oğuztüzün.
by: Topçu, Okan., et al.
Published: (2017)

Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings / edited by Kim Guldstrand Larsen, Tim Willemse.
Published: (2019)

Logic-Based Program Synthesis and Transformation 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8–10, 2019, Revised Selected Papers / edited by Maurizio Gabbrielli.
Published: (2020)

Dependable Software Engineering. Theories, Tools, and Applications 6th International Symposium, SETTA 2020, Guangzhou, China, November 24–27, 2020, Proceedings / edited by Jun Pang, Lijun Zhang.
Published: (2020)

Formal Techniques for Safety-Critical Systems 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers / edited by Cyrille Artho, Peter Csaba Ölveczky.
Published: (2016)

Formal Techniques for Safety-Critical Systems 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers / edited by Cyrille Artho, Peter Csaba Ölveczky.
Published: (2017)

Functional and Logic Programming 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings / edited by John P. Gallagher, Martin Sulzmann.
Published: (2018)

Data-Driven 3D Facial Animation edited by Zhigang Deng, Ulrich Neumann.
Published: (2008)

Formal Methods and Software Engineering 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings / edited by Yamine Ait-Ameur, Shengchao Qin.
Published: (2019)

Computer and Communication Engineering First International Conference, ICCCE 2018, Guayaquil, Ecuador, October 25–27, 2018, Proceedings / edited by Miguel Botto-Tobar, Julio Barzola-Monteses, Eduardo Santos-Baquerizo, Mayken Espinoza-Andaluz, Wendy Yánez-Pazmiño.
Published: (2019)

IoT as a Service 4th EAI International Conference, IoTaaS 2018, Xi’an, China, November 17–18, 2018, Proceedings / edited by Bo Li, Mao Yang, Hui Yuan, Zhongjiang Yan.
Published: (2019)

Essence of Systems Analysis and Design A Workbook Approach / by Priti Srinivas Sajja.
by: Sajja, Priti Srinivas., et al.
Published: (2017)

Engineering Trustworthy Software Systems First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures / edited by Zhiming Liu, Zili Zhang.
Published: (2016)

Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I / edited by Rupak Majumdar, Viktor Kunčak.
Published: (2017)

Anti-fragile ICT Systems by Kjell Jørgen Hole.
by: Hole, Kjell Jørgen., et al.
Published: (2016)

Advanced Hybrid Information Processing Third EAI International Conference, ADHIP 2019, Nanjing, China, September 21–22, 2019, Proceedings, Part II / edited by Guan Gui, Lin Yun.
Published: (2019)

High Performance Computing ISC High Performance 2019 International Workshops, Frankfurt, Germany, June 16-20, 2019, Revised Selected Papers / edited by Michèle Weiland, Guido Juckeland, Sadaf Alam, Heike Jagode.
Published: (2019)

Concurrent Programming: Algorithms, Principles, and Foundations by Michel Raynal.
by: Raynal, Michel., et al.
Published: (2013)

Integrated Formal Methods 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings / edited by Nadia Polikarpova, Steve Schneider.
Published: (2017)

Communications and Networking 13th EAI International Conference, ChinaCom 2018, Chengdu, China, October 23-25, 2018, Proceedings / edited by Xingang Liu, Dai Cheng, Lai Jinfeng.
Published: (2019)

Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings / edited by Christel Baier, Ugo Dal Lago.
Published: (2018)

Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management. Healthcare and Safety of the Environment and Transport 4th International Conference, DHM 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I / edited by Vincent G. Duffy.
Published: (2013)

Human Mental Workload: Models and Applications Second International Symposium, H-WORKLOAD 2018, Amsterdam, The Netherlands, September 20-21, 2018, Revised Selected Papers / edited by Luca Longo, M. Chiara Leva.
Published: (2019)

High Performance Computing for Computational Science – VECPAR 2018 13th International Conference, São Pedro, Brazil, September 17-19, 2018, Revised Selected Papers / edited by Hermes Senger, Osni Marques, Rogerio Garcia, Tatiana Pinheiro de Brito, Rogério Iope, Silvio Stanzani, Veronica Gil-Costa.
Published: (2019)

Industrial Networks and Intelligent Systems 14th EAI International Conference, INISCOM 2018, Da Nang, Vietnam, August 27–28, 2018, Proceedings / edited by Trung Q Duong, Nguyen-Son Vo.
Published: (2019)