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

2012/11/09 by Fuyuki Ishikawa, Ishikawa, Fuyuki, Alexander Romanovsky +1
Engineering · Materials Science · #Radiation Effects in Electronics #Graphite, nuclear technology, radiation studies #Manufacturing Process and Optimization

paper · pdf · doi:10.48550/arxiv.1211.2259

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).

Related

• 07241 Abstracts Collection – Tools for the Model-based Development of Certifiable, Dependable Systems
• Proceedings of the Access InContext Workshop @ CHI'25 Conference on Human Factors in Computing Systems
• 03471 Abstracts Collection – Design of Systems with Predictable Behaviour
• 07241 Summary – Tools for the Model-based Development of Certifiable, Dependable Systems
• Proceedings of the First Workshop on Resource Awareness and Adaptivity in Multi-Core Computing (Racing 2014)