Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 873)
Included in the following conference series:
Conference proceedings info: FME 1994.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (41 papers)
Keywords
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