( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Formalising an Integrated Language in PVS.

, и . ICFEM, том 2885 из Lecture Notes in Computer Science, стр. 187-205. Springer, (2003)

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.

Christian J Mehl

Christian J Jäggi

Christian J Nyhuis

Christian J Feusi

Christian J Meier

 

Другие публикации лиц с тем же именем

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