"A Probabilistic Logic for the Development of Safety-Critical, Interactive ..."

C. W. Johnson (1993)

Details and statistics

DOI: 10.1006/IMMS.1993.1064

access: closed

type: Journal Article

metadata version: 2020-05-15

a service of  Schloss Dagstuhl - Leibniz Center for Informatics