May 23, 2021 · The main aim of the CamilleX framework is to provide text-based serialisation of Event-B models. Furthermore given the existing facilities for ...

We present the CamilleX framework for the Rodin platform in this paper. The framework provides a textual representation and persistence for the Event-B ...

We present the CamilleX framework for the Rodin platform in this paper. The framework provides a textual representation and persistence for the Event-B ...

Jun 7, 2021 · We present the CamilleX framework for the Rodin platform in this paper. The framework provides a textual representation and persistence for the Event-B ...

We present the CamilleX framework for the Rodin platform in this paper. The framework provides a textual representation and persistence for the Event-B ...

The CamilleX Framework for the Rodin Platform · List of references · Publications that cite this publication.

Framework for the Rodin Platform. T.S. Hoang, C. Snook, D. Dghaym, A. Salehi Fathabadi, and M. Butler. ECS, University of Southampton, U.K.. F-IDE 2022 ...

We present the CamilleX framework for the Rodin platform in this paper. The framework provides a textual representation and persistence for the Event-B ...

We present the CamilleX framework for the Rodin platform in this paper. The framework provides a textual representation and persistence for the Event-B ...

We present the CamilleX framework for the Rodin platform in this paper. The framework provides a textual representation and persistence for the Event-B ...