ePrints

On Methods for the Formal Specification of Fault Tolerant Systems

Lookup NU author(s): Dr Manuel Mazzara

Downloads

• Published version [.pdf]

Publication metadata

Author(s): Mazzara M

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: Fourth International Conference on Dependability (DEPEND 2011)

Year of Conference: 2011

Date deposited: 18/07/2011

Publisher: XPS (Xpert Publishing Services)

Share