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

  1. Lookup NU author(s)
  2. Professor Alexander Romanovsky
Author(s)Ishikawa F, Romanovsky A
Publication type Report
Series TitleSchool of Computing Science Technical Report Series
Year2012
DateOctober 2012
Report Number1355
Pages111
Full text is available for this publication:
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).
InstitutionNewcastle University
Place PublishedNewcastle upon Tyne
URLhttp://www.cs.ncl.ac.uk/publications/trs/papers/1355.pdf
ActionsLink to this publication