Editors:
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 873)
Conference series link(s): FME: International Symposium of Formal Methods Europe
Conference proceedings info: FME 1994.
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (41 papers)
-
Front Matter
About this book
Besides two invited papers and seven industrial usage reports, there are 32 full papers selected from some 150 submissions. The industrial usage reports describe practical experiences in a variety of areas including security systems and railway signalling. The subjects of the research papers include refinement, proof, process modelling, specification of programming languages, model checking, real-time aspects, and the combination of formal and systematic methods; these contributions advance the foundations of formal methods and demonstrate their practical value.
Bibliographic Information
Book Title: FME '94: Industrial Benefit of Formal Methods
Book Subtitle: Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 - 28, 1994. Proceedings
Editors: Maurice Naftalin, Tim Denvir, Miquel Bertran
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/3-540-58555-9
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1994
Softcover ISBN: 978-3-540-58555-8Published: 12 October 1994
eBook ISBN: 978-3-540-49031-9Published: 30 June 2005
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XII, 732
Topics: Software Engineering/Programming and Operating Systems, Computer Applications, Programming Techniques, Software Engineering, Programming Languages, Compilers, Interpreters, Logics and Meanings of Programs