7 citations · 15 across the 7 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.SE2014
Modelling an Aircraft Landing System in Event-B (Full Report)
Dominique Méry, Neeraj Kumar Singh
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 system develo…
cs.SE2014★ 1 cited
Proceedings 1st Workshop on Formal Integrated Development Environment
Catherine Dubois, Dimitra Giannakopoulou, Dominique Méry
This volume contains the proceedings of F-IDE 2014, the first international workshop on Formal Integrated Development Environment, which was held as an ETAPS 2014 satellite event,…