Toggle Main Menu Toggle Search

ePrints

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

Lookup NU author(s): Professor Alexander Romanovsky

Downloads


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

Series Title: School of Computing Science Technical Report Series

Year: 2012

Pages: 111

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