841 articles – 1540 Notices  [english version]
.:. Consultation > Liste par auteur du laboratoire > Attiogbe .:.
6 documents classés par :
fulltext access Partial Test Oracle in Model Transformation Testing
Finot O., Mottu J.-M., Sunyé G., Attiogbe J. C.
[hal-00823231 - version 1] (16/05/2013)
fulltext access 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]