IEEE - Institute of Electrical and Electronics Engineers, Inc. - Enhancing dependability via parameterized refinement

Proceedings 1999 Pacific Rim International Symposium on Dependable Computing

Author(s): Troubitsyna, E.A.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1999
Conference Location: Hong Kong, Hong Kong
Conference Date: 16 December 1999
Page(s): 120 - 127
ISBN (Paper): 0-7695-0371-3
DOI: 10.1109/PRDC.1999.816221
Regular:

A probabilistic extension of the refinement calculus has been successfully applied in the design of safety-critical systems. The approach is based on a firm mathematical foundation within which... View More

Advertisement