Proceedings: Workshop on the experience of and advances in developing dependable systems in Event-B (DS-Event-B 2012)
Software Engineering
2012-11-13 v1
Abstract
These proceedings include papers presented at the Workshop on "The experience of and advances in developing dependable systems in Event-B" held on November 13, 2012 as part of the ICFEM 2012 (Kyoto, Japan).
Cite
@article{arxiv.1211.2259,
title = {Proceedings: Workshop on the experience of and advances in developing dependable systems in Event-B (DS-Event-B 2012)},
author = {Fuyuki Ishikawa and Alexander Romanovsky},
journal= {arXiv preprint arXiv:1211.2259},
year = {2012}
}
Comments
Proceedings of DS-Event-B 2012: Workshop on the experience of and advances in developing dependable systems in Event-B, in conjunction with ICFEM 2012 - Kyoto, Japan, November 13, 2012