Integrated Formal Methods: 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings
- ISBN-10
- 3319668455
- ISBN-13
- 9783319668451
- Series
- Integrated Formal Methods
- Category
- Computers
- Pages
- 438
- Language
- English
- Published
- 2017-09-11
- Publisher
- Springer
- Authors
- Steve Schneider, Nadia Polikarpova
Description
This book constitutes the refereed proceedings of the 13th International Conference on Integrated Formal Methods, IFM 2017, held in Turin, Italy, in September 2017. The 24 full papers and 4 short papers presented were carefully reviewed and selected from 61 submissions. They are organized in topical sections on cyber-physical systems, software verification tools, safety-critical systems, concurrency and distributed systems, program verification techniques, formal modeling, and verified software..
Get the book
Other editions
-
- 2018-08-22
- 420 pages
- Ebook
- Springer
-
- 2016-05-23
- 538 pages
- Ebook
- Springer
-
- 2014-08-29
- 390 pages
- Ebook
- Springer
-
- 2013-05-13
- 443 pages
- Ebook
- Springer
Similar books
-
Integrated Formal Methods: 17th International Conference, IFM 2022, Lugano, Switzerland, June 7–10, 2022, Proceedings
By Maurice H. ter Beek, Rosemary MonahanThis book constitutes the refereed proceedings of the 17th International Conference on Integrated Formal Methods, IFM 2022, held in Lugano, Switzerland, in June 2022.
-
Integrated Formal Methods: 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings
By Judi M.T. Romijn, Graeme P. Smith, Jaco C. van de PolThis book constitutes the refereed proceedings of the 5th International Conference on Integrated Formal Methods, IFM 2005, held in Eindhoven, The Netherlands, in November/December 2005.
-
Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings
By Stephan Merz, Dominique MeryThis book constitutes the refereed proceedings of the 8th International Conference on Integrated Formal Methods, IFM 2010, held in Nancy, France, in October 2010.
-
Integrated Formal Methods: 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings
By John Derrick, Stefania Gnesi, Helen Treharne... push(B,M) 〉) else 〈O : Leader | rpow: E-Prec(P), pow: P, buf: push(B,M) ... The MULEs move and gather data messages which are sent by leaders or single nodes ... the MULE. In our model, every message sent to the MULE is received with a ...
-
Integrated Formal Methods: 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009, Proceedings
By Heike Wehrheim, Michael LeuschelThis book constitutes the refereed proceedings of the 7th International Conference on Integrated Formal Methods, IFM 2009, held in Düsseldorf, Germany in February 2009.
-
Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings
By Jeremy Gibbons, Jim DaviesThis book constitutes the refereed proceedings of the 6th International Conference on Integrated Formal Methods, IFM 2007, held in Oxford, UK. It addresses all aspects of formal methods integration, including of a process of analysis or ...
-
Integrated Formal Methods: Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings.
By Michael Butler, Luigia Petre, Kaisa SereThe third in a series of international conferences on Integrated Formal Methods, IFM 2002, was held in Turku, Finland, May 15–17, 2002. Turku, situated in the south western corner of the country, is the former capital of Finland.
-
Integrated Formal Methods: 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings
By Wolfgang Ahrendt, Silvia Lizeth Tapia TarifaThis book constitutes the refereed proceedings of the 15th International Conference on Integrated Formal Methods, IFM 2019, held in Bergen, Norway, in December 2019.
-
Integrated Formal Methods: 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009 ; Proceedings
This book constitutes the refereed proceedings of the 7th International Conference on Integrated Formal Methods, IFM 2009, held in Düsseldorf, Germany in February 2009.
-
Integrated Formal Methods: Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings.
By Michael Butler, Luigia Petre, Kaisa Sere... 107–121. SpringerVerlag, 1996. OMG. Unified Modeling Language specifcation, 2001. Available at http://www.omg.org//. 34. 35. 36. 37. 38. 39. 40. 41. Dorina C. An Integrated Semantics for UML Class, Object and State Diagrams 27.