Safety Analysis Versus Type Inference for Partial Types.

Jens Palsberg Michael I. Schwartzbach

Published in: Inf. Process. Lett. (1992)

Keyphrases

safety analysis
nuclear power plant
bayesian networks
symbolic model checking
control system
neural network
safety critical
cooperative
health care
partial information
fault model