( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Designing and Implementing Resilient IoT Applications in the Fog: A Smart Home Use Case.

, , , , и . ICIN, стр. 230-232. IEEE, (2019)

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

 

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

Interactive Specification and Verification of Behavioural Adaptation Contracts., , , и . QSIC, стр. 65-75. IEEE Computer Society, (2009)Encoding Abstract Descriptions into Executable Web Services: Towards a Formal Development., и . Web Intelligence, стр. 457-463. IEEE Computer Society, (2005)Adaptation of Asynchronously Communicating Software., и . ICSOC, том 8831 из Lecture Notes in Computer Science, стр. 437-444. Springer, (2014)Symbolic Specification and Verification of Data-Aware BPMN Processes Using Rewriting Modulo SMT., , и . WRLA@ETAPS, том 11152 из Lecture Notes in Computer Science, стр. 76-97. Springer, (2018)Specification of a Gas Station Using a Formalism Integrating Formal Datatypes within State Diagrams., , и . IPDPS, стр. 240. IEEE Computer Society, (2003)Specification of an Access Control System with a Formalism Combining CCS and CASL., , и . IPDPS, IEEE Computer Society, (2002)Formalising an Integrated Language in PVS., и . ICFEM, том 2885 из Lecture Notes in Computer Science, стр. 187-205. Springer, (2003)Stochastic analysis of BPMN with time in rewriting logic., , и . Sci. Comput. Program., (2018)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)