Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings
- ISBN-10
- 354020461X
- ISBN-13
- 9783540204619
- Series
- Formal Methods and Software Engineering
- Category
- Computers
- Pages
- 681
- Language
- English
- Published
- 2003-10-27
- Publisher
- Springer Science & Business Media
- Authors
- Jin Song Dong, Jim Woodcock, INTERNATIONAL CONFERENCE ON FORMAL ENGIN
Description
This book constitutes the refereed proceedings of the 5th International Conference on Formal Engineering Methods, ICFEM 2003, held in Singapore in November 2003. The 34 revised full papers presented together with 3 invited contributions were carefully reviewed and selected from 91 submissions. The papers are organized in topical sections on testing and validation, state diagrams, PVS/HOL, refinement, hybrid systems, Z/Object-Z, Petri nets, timed automata, system modelling and checking, and semantics and synthesis.
Get the book
Other editions
-
- 2010-10-29
- 712 pages
- Paperback
- Springer Science & Business Media
-
- 2023-11-09
- 320 pages
- Ebook
- Springer Nature
-
- 2017-10-14
- 498 pages
- Paperback
- Springer
-
- 2016-10-31
- 486 pages
- Ebook
- Springer
Similar books
-
Formal Methods for Software Engineering: Languages, Methods, Application Domains
By Antonio Cerone, Markus Roggenbach, Siraj Ahmed ShaikhFormal Models and Techniques for Analyzing Security Protocols. IOS Press, 2011. [CLN09] Cas J. F. Cremers, Pascal Lafourcade, and Philippe Nadeau. Comparing state spaces in automatic security protocol analysis. In Formal to Practical ...
-
Software Engineering and Formal Methods: SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, Revised...
By Martin Steffen, Javier CamaraThe volume LNCS 12226 constitutes the revised selected papers from the four workshops collocated with the 17th International Conference on Software Engineering and Formal Methods, SEFM 2019.
-
Formal Methods and Software Engineering: 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings
By Michael Butler, Sylvain Conchon, Fatiha ZaïdiThis book constitutes the refereed proceedings of the 17th International Conference on Formal Engineering Methods, ICFEM 2015, held in Paris, France, in November 2015.
-
Software Engineering and Formal Methods: SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017,...
By Antonio Cerone, Marco RoveriThis book constitutes revised selected papers from the five workshops collocated with the 15th International Conference on Software Engineering and Formal Methods, SEFM 2017.
-
Formal Methods and Software Engineering: 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings
By Stephan Merz, Jun PangThis book constitutes the refereed proceedings of the 16th International Conference on Formal Engineering Methods, ICFEM 2014, held in Luxembourg, Luxembourg, in November 2014.
-
Formal Methods in Computer Science
By Jiacun WangThis textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification.
-
Practical Formal Software Engineering: Wanting the Software You Get
By Bruce MillsThis book takes an unusual, engineering-inspired approach to illuminate the creation and verification of large software systems .
-
Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops: ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14–15, 2020, Revised...
By Loek Cleophas, Mieke MassinkThis volume constitutes the revised selected papers from the three workshops collocated with the 18th International Conference on Software Engineering and Formal Methods, SEFM 2020, held in Amsterdam, The Netherlands, in September 2020.
-
Automated Theorem Proving in Software Engineering
By Johann M. SchumannThis book methodically investigates the potential of first-order logic automated theorem provers for applications in software engineering.
-
Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systems
By Dan Craigen, Susan GerhartMONITOR COMPUTER DISPLAY TEST CHLE TRIP Independent logic, and devices DISPLAY TEST CHU F TRIP W EXTERNALVOINGLOGC D SHUT-OFF ROOS. SenSOss, Each design basis accident must be detected by two diverse measurements (primary and back-up) ...