( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Embedding Approximation in Event-B: Safe Hybrid System Design Using Proof and Refinement.

, , , , , и . ICFEM, том 12531 из Lecture Notes in Computer Science, стр. 251-267. Springer, (2020)

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.

Marianne Dupont

Wilhelm Dupont

Yvonne Dupont

Ralf Dupont

Simon Dupont

 

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

A Model-Driven Process Enactment Approach for Network Service Design., , , , и . SDL Forum, том 10567 из Lecture Notes in Computer Science, стр. 99-118. Springer, (2017)Model-Driven Process Enactment for NFV Systems with MAPLE., , , , и . CoRR, (2019)Event-B Refinement for Continuous Behaviours Approximation., , , и . ATVA, том 12971 из Lecture Notes in Computer Science, стр. 320-336. Springer, (2021)A Survey of Network Intrusion Detection Systems for Controller Area Network., , , и . ICVES, стр. 1-6. IEEE, (2019)Formally Verified Architecture Patterns of Hybrid Systems Using Proof and Refinement with Event-B., , , и . ABZ, том 12071 из Lecture Notes in Computer Science, стр. 169-185. Springer, (2020)Event-B Hybridation: A Proof and Refinement-based Framework for Modelling Hybrid Systems., , , и . ACM Trans. Embed. Comput. Syst., 20 (4): 35:1-35:37 (2021)Analyzing Age-Related Macular Degeneration Progression in Patients with Geographic Atrophy Using Joint Autoencoders for Unsupervised Change Detection., , , , и . J. Imaging, 6 (7): 57 (2020)Formally verified architectural patterns of hybrid systems using proof and refinement with Event-B., , , и . Sci. Comput. Program., (2022)Unsupervised Change Detection Using Joint Autoencoders for Age-Related Macular Degeneration Progression., , , , и . ICANN (2), том 12397 из Lecture Notes in Computer Science, стр. 813-824. Springer, (2020)MAPLE: An Integrated Environment for Process Modelling and Enactment for NFV Systems., , , и . ECMFA, том 10890 из Lecture Notes in Computer Science, стр. 164-178. Springer, (2018)