ePrints

Proceedings: Workshop on the experience of and advances in developing dependable systems in Event-B

Lookup NU author(s): Emeritus Professor Alexander RomanovskyORCiD

Downloads

• Published version [.pdf]

Abstract

These proceedings include papers to be presented at the Workshop on "The experience of and advances in developing dependable systems in Event-B" to be held on November 13, 2012 as part of the ICFEM 2012 (Kyoto, Japan).

Publication metadata

Author(s): Ishikawa F, Romanovsky A

Publication type: Report

Publication status: Published

Series Title: School of Computing Science Technical Report Series

Year: 2012

Pages: 111

Print publication date: 01/10/2012

Source Publication Date: October 2012

Report Number: 1355

Institution: Newcastle University

Place Published: Newcastle upon Tyne

URL: http://www.cs.ncl.ac.uk/publications/trs/papers/1355.pdf

Share