Special Issue on the First International workshop of the ERCIM Working Group on Formal Methods for Industrial Critical Systems, St. Hugh's College, Oxford, March 19, 1996-Selected Papers Stefania GnesiDiego Latella OriginalPaper Pages: 123 - 124
Formal Methods Technology Transfer: A View from NASA James L. Caldwell OriginalPaper Pages: 125 - 137
A Formal Verification Environment for Railway Signaling System Design Cinzia BernardeschiAlessandro FantechiDario Romano OriginalPaper Pages: 139 - 161
The Synchronous Approach to Designing Reactive Systems Axel PoignéMatthew MorleyReinhard Budde OriginalPaper Pages: 163 - 187
A Consistent Causality-Based View on a Timed Process Algebra Including Urgent Interactions Joost-Pieter KatoenRom LangerakTommaso Bolognesi OriginalPaper Pages: 189 - 216