Analysis and Testing of Process Controller Dependability

Hlavička, J., Racek, S., Herout, P.

HLAVIČKA, J., S. RACEK, and P. HEROUT. Analysis and Testing of Process Controller Dependability. In: KRAWCZYK, H., ed. Proceedings of Ninth European Workshop on Dependable Computing. EWDC-9, Gdaňsk, 1998-05-14/1998-05-16. Gdańsk: Technical University, 1998. p. 7-11. ISBN 83-907591-1-X.