scientific article; zbMATH DE number 4178463

zbMATH Open0715.62143MaRDI QIDQ3201412FDOQ3201412

A. C. Davison

Publication date: 1989

Title of this publication is not available (Why is that?)

Recommendations

• On Model Checking Boolean BI
• Model checking in bits and pieces
• Data flow analysis as model checking
• Model-checking processes with data
• Model checking languages of data words
• Verifying data refinements using a model checker
• Model checking
• scientific article; zbMATH DE number 910719

zbMATH Keywords

residualsbinary datacontaminated datadeviancemeasures of influencepseudo-Bayesian diagnostic

Mathematics Subject Classification ID

Diagnostics, and linear inference and regression (62J20)

Cited In (1)

• Title not available (Why is that?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3201412)