1 citations · 1 across the 4 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.SE2018
Building Correct SDN-Based Components from a Global Formal Mode
Christian Attiogbé
Software Defined Networking (SDN) brings flexibility in the construction and managment of distributed applications by reducing the constraints imposed by physical networks and by m…
cs.SE2018
Modelling and Analysing the Landing Gear System: a Solution with Event-B/Rodin
Pascal André, Christian Attiogbé, Arnaud Lanoix
This paper presents a solution to the landing gear system case study using Event-B and Rodin. We study the whole system (both the digital part and the controlled part). We use feat…