- Paul Mukherjee:
A Semantics for NewSpeak in VDM-SL. FME 1994: 480-501 - Maurice Naftalin:
Informal Strategies in Design by Refinement. FME 1994: 401-420 - Colin O'Halloran:
Evaluation Semantics in Z. FME 1994: 502-518 - Barbara Paech, Bernhard Rumpe:
A new Concept of Refinement used for Behaviour Modelling with Automata. FME 1994: 154-174 - Brian Ritchie, Juan Bicarregui
, Howard P. Haughton:
Experiences in Using the Abstract Machine Notation in a GKS Case Study. FME 1994: 93-104 - Kelvin J. Ross, Peter A. Lindsay:
A Precise Examination of the Behaviour of Process Models. FME 1994: 251-270 - Karen Seidel:
Case Study: Specification and Refinement of the PI-Bus. FME 1994: 532-546 - Andrew Simpson:
A Formal Specification of an Automatic Train Protection System. FME 1994: 602-617 - Andrew Storey, Howard P. Haughton:
A Strategy for the Production of Verifiable Code Using the B Method. FME 1994: 346-365 - Farn Wang, Aloysius K. Mok:
RTL and Refutation by Positive Cycles. FME 1994: 659-680 - Matthias Weber:
Literate Mathematical Development of a Revision Management System. FME 1994: 441-460 - Maurice Naftalin, B. Tim Denvir, Miquel Bertran:
FME '94: Industrial Benefit of Formal Methods, Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-18, 1994, Proceedings. Lecture Notes in Computer Science 873, Springer 1994, ISBN 3-540-58555-9 [contents]
