.:. Browse > By authors in a lab > Attiogbe .:.

6 documents ordered by : Date Title first author name document type Submit date

Partial Test Oracle in Model Transformation Testing Finot O., Mottu J.-M., Sunyé G., Attiogbe J. C. [hal-00823231 - version 1] (16/05/2013)

Event-Based Approach to Modeling Dynamic Architecture: Appliocation to Mobile Ad Hoc Network Attiogbe J. C. Dans Leveraging Applications of Formal Methods, Verification and Validation, Third International Symposium, ISoLA 2008 - ISoLA 2008, Grèce (2008) [hal-00420017 - version 1]

Multi-process Systems Analysis Using Event B: Application to Group Communication Systems Attiogbe J. C. Dans Formal Methods and Software Engineering - ICFEM'2006, Chine (2006) [hal-00420015 - version 1]

A Stepwise Development of the Peterson's Mutual Exclusion Algorithm Using B Abstract Systems Attiogbe J. C. Dans ZB 2005: Formal Specification and Development in Z and B - ZB 2005: Formal Specification and Development in Z and B, Royaume-Uni (2005) [hal-00421161 - version 1]

A Mechanically Proved Development Combining B Abstract Systems and Spin Attiogbe J. C. Dans Quality Software, 2004. QSIC 2004. Proceedings. - Fourth International Conference on Quality Software QSIC'2004, Allemagne (2004) [hal-00421162 - version 1]

Mechanization of an Integrated Approach: Shallow Embedding into SAL/PVS Attiogbe J. C. Dans Formal Methods and Software Engineering - 4th International Conference on Formal Engineering Methods, ICFEM'2002, Chine (2002) [hal-00421160 - version 1]