scientific article; zbMATH DE number 1487747

zbMath0963.68135MaRDI QIDQ4494260

M. Poppleton, Richard Banach

Publication date: 4 March 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

retrenchmentB-Methodpunctured simulation

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (2)

Simulation relations for fault-tolerance ⋮ Model evolution and refinement

This page was built for publication: