( en | de | ru )

 

Disambiguation of "Attiogbé, J. Christian"

Author of the publication

copydeleteadd this publication to your clipboard
Mapping Component Models on Distributed Architectures: Correctness Checking.

. MoDeVVa@MoDELS, volume 1713 of CEUR Workshop Proceedings, page 1-9. CEUR-WS.org, (2016)

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 Jäggi

Christian J Mehl

Christian J Nyhuis

Christian J Feusi

Christian J Braun

 

Other publications of authors with the same name

Partial Test Oracle in Model Transformation Testing., , , and . ICMT, volume 7909 of Lecture Notes in Computer Science, page 189-204. Springer, (2013)Building Correct SDN-Based Components from a Global Formal Mode.. CoRR, (2018)Combining Techniques to Verify Service-based Components., , and . MODELSWARD, page 645-656. SciTePress, (2017)Preuve de cohérence de composants Kmelia à l'aide de la méthode B., , and . CAL, volume L-5 of Revue des Nouvelles Technologies de l'Information, page 105-117. Cépaduès-Éditions, (2010)Preface of the special issue on advances in data-driven engineering., and . Int. J. Gen. Syst., 52 (3): 203-205 (April 2023)Toward a Correct Implementation of LwM2M Client with Event-B., , and . ICSOFT, page 172-179. ScitePress, (2020)Mapping Component Models on Distributed Architectures: Correctness Checking.. MoDeVVa@MoDELS, volume 1713 of CEUR Workshop Proceedings, page 1-9. CEUR-WS.org, (2016)Using Event-B to Verify the Kmelia Components and Their Assemblies., , , and . ASM, volume 5977 of Lecture Notes in Computer Science, page 410. Springer, (2010)Composing Components with Shared Services in the KmeliaModel., , and . SC@ETAPS, volume 4954 of Lecture Notes in Computer Science, page 125-140. Springer, (2008)Alignement des points de vue du système d'information, une approche pragmatique., , , and . INFORSID, page 125-140. (2018)