Specifying the Remote Control of Valves in an Explosion Test Environment

Abstract

We present parts of the speci cation of a program to remote control and monitor di erent devices, especially valves, in an explosion test environment. The program was developed within an industrial national project called CATC carried out in PTB, the German federal institute of weights and measures. The CATC information system supports various activities of… (More)
DOI: 10.1007/3-540-63533-5_11

7 Figures and Tables

Topics

  • Presentations referencing similar topics