FME '94: Industrial Benefit of Formal Methods: Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 - 28, 1994. Proceedings - Lecture Notes in Computer Science 873 (Paperback)Maurice Naftalin (editor), Tim Denvir (editor), Miquel Bertran (editor)
- We can order this
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.
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Number of pages: 732
Weight: 2260 g
Dimensions: 235 x 155 x 37 mm
Edition: 1994 ed.
You may also be interested in...
Please sign in to write a review