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

Alexander Romanovsky; Fuyuki Ishikawa

arxiv: 1211.2259 · v1 · pith:S5UKW7LDnew · submitted 2012-11-09 · 💻 cs.SE

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

Fuyuki Ishikawa , Alexander Romanovsky This is my paper

classification 💻 cs.SE

keywords advancesdependabledevelopingevent-bexperienceproceedingssystemsworkshop

0 comments

read the original 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).

This paper has not been read by Pith yet.

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

discussion (0)