Cover Image

QR Code

Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings /

This book constitutes the proceedings of the 24th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2019, held in Amsterdam, The Netherlands, in August 2019. The 9 regular papers presented in this volume were carefully reviewed and selected from 15 submissions. The co...

Full description

Corporate Author:	SpringerLink (Online service)
Other Authors:	Larsen, Kim Guldstrand. (Editor, http://id.loc.gov/vocabulary/relators/edt), Willemse, Tim. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Language:	English
Published:	Cham : Springer International Publishing : Imprint: Springer, 2019.
Edition:	1st ed. 2019.
Series:	Programming and Software Engineering ; 11687
Subjects:	Programming languages (Electronic computers). Software engineering. Computers. Artificial intelligence. Computer simulation. Programming Languages, Compilers, Interpreters. Software Engineering. Theory of Computation. Artificial Intelligence. Simulation and Modeling.
Online Access:	https://doi.org/10.1007/978-3-030-27008-7

Similar Items

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

Bio-Inspired Computing -- Theories and Applications 10th International Conference, BIC-TA 2015 Hefei, China, September 25-28, 2015, Proceedings / edited by Maoguo Gong, Pan Linqiang, Song Tao, Ke Tang, Xingyi Zhang.
Published: (2015)

Artificial Life and Intelligent Agents First International Symposium, ALIA 2014, Bangor, UK, November 5-6, 2014. Revised Selected Papers / edited by Christopher J. Headleand, William J. Teahan, Llyr Ap Cenydd.
Published: (2015)

Cultural Diversity for Virtual Characters Investigating Behavioral Aspects across Cultures / by Birgit Endrass.
by: Endrass, Birgit., et al.
Published: (2014)

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)

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)

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)

Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings / edited by Wolfgang Ahrendt, Silvia Lizeth Tapia Tarifa.
Published: (2019)

Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I / edited by Alexandra Silva, K. Rustan M. Leino.
Published: (2021)

Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II / edited by Alexandra Silva, K. Rustan M. Leino.
Published: (2021)

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)

Advances in Practical Applications of Heterogeneous Multi-Agent Systems - The PAAMS Collection 12th International Conference, PAAMS 2014, Salamanca, Spain, June 4-6, 2014. Proceedings / edited by Yves Demazeau, Franco Zambonelli, Juan M. Corchado Rodríguez, Javier Bajo Pérez.
Published: (2014)

Advances in Artificial Intelligence - IBERAMIA 2008 11th Ibero-American Conference on AI, Lisbon, Portugal, October 14-17, 2008. Proceedings / edited by Hector Geffner, Rui Prada, Isabel Machado Alexandre, Nuno David.
Published: (2008)

Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings / edited by Klaus Havelund, Jan Peleska, Bill Roscoe, Erik de Vink.
Published: (2018)

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I / edited by Isil Dillig, Serdar Tasiran.
Published: (2019)

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)

Machine Learning and Intelligent Communications 4th International Conference, MLICOM 2019, Nanjing, China, August 24–25, 2019, Proceedings / edited by Xiangping Bryce Zhai, Bing Chen, Kun Zhu.
Published: (2019)

Coordination, Organizations, Institutions, and Norms in Agent Systems XII COIN 2016 International Workshops, COIN@AAMAS, Singapore, Singapore, May 9, 2016, COIN@ECAI, The Hague, The Netherlands, August 30, 2016, Revised Selected Papers / edited by Stephen Cranefield, Samhar Mahmoud, Julian Padget, Ana Paula Rocha.
Published: (2017)

Ad Hoc Networks 11th EAI International Conference, ADHOCNETS 2019, Queenstown, New Zealand, November 18–21, 2019, Proceedings / edited by Jun Zheng, Cheng Li, Peter Han Joo Chong, Weixiao Meng, Feng Yan.
Published: (2019)

Application and Theory of Petri Nets and Concurrency 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25–30, 2017, Proceedings / edited by Wil van der Aalst, Eike Best.
Published: (2017)

Implementation and Application of Automata 24th International Conference, CIAA 2019, Košice, Slovakia, July 22–25, 2019, Proceedings / edited by Michal Hospodár, Galina Jirásková.
Published: (2019)

Formal Methods Teaching Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings / edited by Brijesh Dongol, Luigia Petre, Graeme Smith.
Published: (2019)

Emergence of Communication and Language edited by Caroline Lyon, Chrystopher L. Nehaniv, Angelo Cangelosi.
Published: (2007)

Functional and Constraint Logic Programming 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers / edited by Josep Silva.
Published: (2019)

Dependable Software Engineering. Theories, Tools, and Applications Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings / edited by Kim Guldstrand Larsen, Oleg Sokolsky, Ji Wang.
Published: (2017)

Fundamentals of Software Engineering 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers / edited by Mehdi Dastani, Marjan Sirjani.
Published: (2015)

It's All About Coordination Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab / edited by Frank de Boer, Marcello Bonsangue, Jan Rutten.
Published: (2018)

Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II / edited by Tiziana Margaria, Bernhard Steffen.
Published: (2020)

Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I / edited by Tiziana Margaria, Bernhard Steffen.
Published: (2020)

Logics in Artificial Intelligence 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings / edited by Steffen Hölldobler, Carsten Lutz, Heinrich Wansing.
Published: (2008)

Deep Learning with Python A Hands-on Introduction / by Nikhil Ketkar.
by: Ketkar, Nikhil., et al.
Published: (2017)

Advances in Practical Applications of Scalable Multi-agent Systems. The PAAMS Collection 14th International Conference, PAAMS 2016, Sevilla, Spain, June 1-3, 2016, Proceedings / edited by Yves Demazeau, Takayuki Ito, Javier Bajo, Maria José Escalona.
Published: (2016)

Formal Methods for Components and Objects 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures / edited by Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever.
Published: (2008)

Formal Methods – Fun for Everybody First International Workshop, FMFun 2019, Bergen, Norway, December 2–3, 2019, Revised Selected Papers / edited by Antonio Cerone, Markus Roggenbach.
Published: (2021)

Concurrent Objects and Beyond Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday / edited by Gul Agha, Atsushi Igarashi, Naoki Kobayashi, Hidehiko Masuhara, Satoshi Matsuoka, Etsuya Shibayama, Kenjiro Taura.
Published: (2014)

All About Maude - A High-Performance Logical Framework How to Specify, Program, and Verify Systems in Rewriting Logic / by Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn Talcott.
by: Clavel, Manuel., et al.
Published: (2007)

Conceptual Modeling 36th International Conference, ER 2017, Valencia, Spain, November 6–9, 2017, Proceedings / edited by Heinrich C. Mayr, Giancarlo Guizzardi, Hui Ma, Oscar Pastor.
Published: (2017)

Inductive Logic Programming 28th International Conference, ILP 2018, Ferrara, Italy, September 2–4, 2018, Proceedings / edited by Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese.
Published: (2018)

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)