( en | de | ru )

 

Disambiguation of "Attiogbé, J. Christian"

Author of the publication

copydeleteadd this publication to your clipboard
Partial Test Oracle in Model Transformation Testing.

, , , and . ICMT, volume 7909 of Lecture Notes in Computer Science, page 189-204. Springer, (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Christian J Mehl

Christian J Jäggi

Christian J Nyhuis

Christian J Feusi

Christian J Braun

 

Other publications of authors with the same name

Extending OpenAPI 3.0 to Build Web Services from their Specification., , , and . WEBIST, page 412-419. SciTePress, (2018)Protocoles d'utilisation de composants : spécification et analyse en Kmelia., , and . LMO, page 19-34. Hermès Lavoisier, (2007)Modelling and Analysing Dynamic Decentralised Systems. CoRR, (2009)A Facet-based Model Mapping Method for EA Alignment and Evolution., , , and . CAiSE Forum, volume 1612 of CEUR Workshop Proceedings, page 153-160. CEUR-WS.org, (2016)A Mechanically Proved Development Combining B Abstract Systems and Spin.. QSIC, page 42-49. IEEE Computer Society, (2004)Formal Framework for a Generic Combination of a Process Algebra with an Algebraic Specification Language., , and . APSEC, page 299-. IEEE Computer Society, (2001)Architectural Invariants and Correctness of IoT-based Systems., and . CoRR, (2019)Can Component/Service-Based Systems Be Proved Correct?.. SOFSEM, volume 5404 of Lecture Notes in Computer Science, page 3-18. Springer, (2009)Modelling and Verifying an Evolving Distributed Control System Using an Event-Based Approach.. ISoLA (2), volume 8803 of Lecture Notes in Computer Science, page 573-587. Springer, (2014)Combining Techniques to Verify Service-based Components., , and . MODELSWARD, page 645-656. SciTePress, (2017)