Christian Attiogb\'e

Identifiers

• name variant Christian Attiogb\'e 0.60 · backfill

Papers (3)

1. Building Correct SDN-Based Components from a Global Formal Mode cs.SE · 2018 · author #1
2. Modelling and Analysing the Landing Gear System: a Solution with Event-B/Rodin cs.SE · 2018 · author #2
3. Multilevel Contracts for Trusted Components cs.SE · 2010 · author #3

Mentions

• 1010.2827 #3 · backfill · confidence 0.70 Christian Attiogb\'e

Frequent Coauthors

• Pascal Andr\'e 2 shared papers
• Arnaud Lanoix 1 shared papers
• Mohamed Messabihi 1 shared papers