( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
R-MOZART: A Reconfiguration Tool for WebThings Applications.

, , , , и . ICSE (Companion Volume), стр. 41-44. IEEE, (2021)

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.

Mickaël Salaün

Yohann Salaün

Merab Gwenetadse

Gwen Büchler

Gwen Pelka

 

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

Realizability of Choreographies Using Process Algebra Encodings., и . IFM, том 5423 из Lecture Notes in Computer Science, стр. 167-182. Springer, (2009)Checking Business Process Evolution., , и . FACS, том 10231 из Lecture Notes in Computer Science, стр. 36-53. (2016)Clint: A Composition Language Interpreter (Tool Paper)., , и . FASE, том 4961 из Lecture Notes in Computer Science, стр. 423-427. Springer, (2008)When are Two Web Services Compatible?, , , и . TES, том 3324 из Lecture Notes in Computer Science, стр. 15-28. Springer, (2004)Stochastic analysis of BPMN with time in rewriting logic., , и . Sci. Comput. Program., (2018)Formalising an Integrated Language in PVS., и . ICFEM, том 2885 из Lecture Notes in Computer Science, стр. 187-205. Springer, (2003)Quantifying the Similarity of BPMN Processes.. APSEC, стр. 377-386. IEEE, (2022)Probabilistic Model Checking of BPMN Processes at Runtime., , и . IFM, том 13274 из Lecture Notes in Computer Science, стр. 191-208. Springer, (2022)Encoding Abstract Descriptions into Executable Web Services: Towards a Formal Development., и . Web Intelligence, стр. 457-463. IEEE Computer Society, (2005)Interactive Specification and Verification of Behavioural Adaptation Contracts., , , и . QSIC, стр. 65-75. IEEE Computer Society, (2009)