-
Formalization of Heart Models Based on the Conduction of Electrical Impulses ...
International audience -
A formal integration of access control policies into information systems
Security is a key aspect in information systems (IS) development. One cannot build a bank IS without security in mind. In medical IS, security is one of the most... -
Integrating Proved State-Based Models for Constructing Correct Distributed Al...
International audience -
From Event-B Specifications to Programs for Distributed Algorithms
International audience -
Ideal Mode Selection of a Cardiac Pacing System
International audience -
A method to refine time constraints in event B framework
Some software or hardware system involves time constraints. When those constraints are required to express the behaviour of the system, we need to write them in the... -
A Simulation Framework for the Validation of Event-B Specifications
This thesis aims at the specification, verification and validation of safety-critical systems with formal methods, in particular, with Event-B. We assessed the... -
Modelling an Aircraft Landing System in Event-B (Full Report)
The failure of hardware or software in a critical system can lead to loss of lives. The design errors can be main source of the failures that can be introduced during... -
Security Vulnerabilities Test Generation from SysML and Event-B models for EM...
International audience -
Modeling an Aircraft Landing System in Event-B
International audience
