Toggle Main Menu Toggle Search

Open Access padlockePrints

On Methods for the Formal Specification of Fault Tolerant Systems

Lookup NU author(s): Dr Manuel Mazzara


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)