HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:Event-B

Papers
Event-B Based Formal Modeling of a Controller: a Case Study
Rahul Karmakar, Bidyut Biman Sarkar and Nabendu Chaki
EasyChair Preprint no. 2599
Formal Development of Distributed Enumeration Algorithms By Refinement-Based Techniques
Maha Boussabbeh, Mohamed Tounsi, Ahmed Hadj Kacem and Mohamed Mosbah
In:SCSS 2017. The 8th International Symposium on Symbolic Computation in Software Science 2017
Rewriting and Well-Definedness within a Proof System
Issam Maamria and Michael Butler
In:PAR-10. Partiality and Recursion in Interactive Theorem Provers
Copyright © 2012-2023 easychair.org. All rights reserved.