FME '94: Industrial Benefit of Formal Methods : Second International Symposium of Formal Methods Europe , Barcelona, Spain, October 24-28, 1994 : Proceedings

Front Cover
Springer-Verlag, 1994 - Computers - 723 pages

From inside the book

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Invited Lectures
1
Formal Methods in the Railways Signalling Industry
26
Formalising British Rails Signalling Rules
45
Copyright

35 other sections not shown

Other editions - View all

Common terms and phrases

About the author (1994)

Maurice Naftalin is Director of Software Development at Morningside Light Ltd., a software consultancy in the United Kingdom. Maurice consults mainly in object-oriented technologies and teaches Java classes part-time at Learning Tree. He has three decades' experience as a programmer, team leader, and commercial trainer.

Bibliographic information