Epidemiological and clinical insights from SARS-CoV-2 RT-PCR crossing threshold values, France, January to November 2020

Management of Severe Bleeding in Patients Treated with Direct Oral Anticoagulants

Copernicus Atmosphere Monitoring Service – Regional Air Quality Production System v1.0

Reply to: Shark mortality cannot be assessed by fishery overlap alone

Reply to: Caution over the use of ecological big data for conservation

Clinical characteristics of subependymal giant cell astrocytoma in tuberous sclerosis complex

Global tracking of marine megafauna space use reveals how to achieve conservation targets

Vérification et Validation Formelles de la Composition de Services Web

Vérification et Validation Formelles de la Composition de Services Web

Modélisation formelle d’IHM multi-modales en sortie avec B Événementiel

Animation de modèles B par transformation de modèles

A formal framework for design and validation of multimodal interactive systems in transport domain.

OntoEventB : Un outil pour la modélisation des ontologies dans B Événementiel

Une architecture orientée services pour la gestion sémantique des données géologiques pour le stockage de CO2

Vérification et Validation de la composition de services Web, Approche basée sur la Preuve et le Raffinement

A Proof Based Approach for Modelling and Verifying Web Services Compositions

A Multi-Agent Based Approach for Composite Web Services Simulation

Stepwise Design of BPEL Web Services Compositions, An Event B Refinement Based Approach

From BPEL to Event-B

B2EXPRESS : Un animateur de modèles B événementiel.

OntoEventB: A Generator of Event-B contexts from Ontologies

BPEL2B : Un outil d'aide à la vérification de la composition de services Web basé sur la preuve et le raffinement

Modelling information fission in output multi-modal interactive systems using Event B

Vérification et validation formelles de systèmes interactifs fondées sur la preuve : application aux systèmes Multi-Modaux

Développements formels d'interfaces multimodales fondés sur la preuve et le raffinement. Scénarios de développement

A Proof Based Approach for Formal Verification of Transactional BPEL Web Services

Stepwise development of formal models for web services compositions. Modeling and property verification

Étude et comparaison de scénarios de développements formels d'interfaces multi-modales fondés sur la preuve et le raffinement.

Animating Event B Models by Formal Data Models

Formal Modelling of Domain Constraints in Event-B

Validation et Vérification Formelles de Systèmes Interactifs Multi-Modaux Fondées sur la Preuve.

Building Formal Semantic Domain Model: An Event-B Based Approach

Using Deep Ontologies in Formal Software Engineering

Verification and validation of BPEL processes. A proof and animation based approach

Stepwise Development of Formal Models for Web Services Compositions: Modelling and Property Verification.

Un cadre formel pour la conception et la validation de systèmes interactifs multimodaux dans le secteur du transport.

Using the Isabelle Ontology Framework. Linking the Formal with the Informal

Semantic Heterogeneity in the Formal Development of Complex Systems: An Introduction

Verification and Validation of Web Service Composition Using Event B Method

A Floating-Point Numbers Theory for Event-B

Modélisation et Vérification Formelles de Compositions de Services. Une Approche Fondée sur le Raffinement et la Preuve

Composition Operators for Event-B. CO4EB Rodin plugin

The role of user requirements in data repository design

On Using Requirements Throughout the Life Cycle of Data Repository

Formal Modelling and Verification of Transactional Web Service Composition: A Refinement and Proof Approach with Event-B

A formal model for output multimodal HCI - An Event-B formalization

Semantic Heterogeneity in the Formal Development of Complex Systems: An Introduction.

Semantic Hubs for Geological Projects

Modélisation formelle d’IHM multimodales en sortie avec B Événementiel : approche par généralisation et instanciation

Formal modelling of ontologies within Event-B