MPG.eBooks - Search Results - Special Purpose And Application-based Systems

Search alternatives:
application » applications

Cover Image

1

FM'99 - Formal Methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proceedings, Volume II

Published 1999

Springer Berlin Heidelberg

Table of Contents: “... of a voice communication system used in air traffic control an industrial application of light-weight...”

Cover Image

2

FM'99 - Formal Methods : World Congress on Formal Methods in the Developement of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I

Published 1999

Springer Berlin Heidelberg

Table of Contents: “... and Interface Refinement in Closed-System Specifications -- Semantics of First Order Parametric Specifications...”