scientific article; zbMATH DE number 2013585

MaRDI QIDQ4436969zbMATH OpenFDO

Authors Thai Son Hoang, Annabelle McIver, Carroll Morgan

Publication date 4 December 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2651/26510216.htm

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• ZB 2005: Formal Specification and Development in Z and B
• scientific article; zbMATH DE number 1927425
• scientific article; zbMATH DE number 2013586
• Probabilistic termination versus fair termination
• ZB 2005: Formal Specification and Development in Z and B

Cited in

(6)

• scientific article; zbMATH DE number 2013586 (Why is no real title available?)
• scientific article; zbMATH DE number 2013600 (Why is no real title available?)
• ZB 2005: Formal Specification and Development in Z and B
• ZB 2005: Formal Specification and Development in Z and B
• The probabilistic termination tool amber
• A probabilistic extension of UML-B

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 Q4436969)