( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Incremental Database Design using UML-B and Event-B.

, , и . IMPEX/FM&MDD, том 271 из EPTCS, стр. 34-47. (2017)

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.

Erin Butler

Martin Butler

Marko Butler

Carl Butler

Helge Butler

 

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

Incremental Database Design using UML-B and Event-B., , и . IMPEX/FM&MDD, том 271 из EPTCS, стр. 34-47. (2017)DeepSaucer: Unified Environment for Verifying Deep Neural Networks., , , , , , и . CoRR, (2018)An Ordered Bipolar Outflow from a Massive Early-Stage Core, , , , , и . (24.01.2016)Towards Refinement Semantics of Real-Time Trigger-Response Properties in Event-B., , и . TASE, стр. 1-8. IEEE, (2019)09381 Extended Abstracts Collection - Refinement Based Methods for the Construction of Dependable Systems., , , , и . Refinement Based Methods for the Construction of Dependable Systems, том 09381 из Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2009)SEB-CG: Code Generation Tool with Algorithmic Refinement Support for Event-B., , и . FM Workshops (1), том 12232 из Lecture Notes in Computer Science, стр. 19-29. Springer, (2019)Verifying System-Level Security of a Smart Ballot Box., , , , , и . ABZ, том 12709 из Lecture Notes in Computer Science, стр. 34-49. Springer, (2021)High-Level Rigorous Template for Analysing Safety Properties of Self-driving Vehicle Systems., , и . COMPSAC, стр. 1643-1648. IEEE, (2022)Developing A New Language to Construct Algebraic Hierarchies for Event-B., , и . SETTA, том 10998 из Lecture Notes in Computer Science, стр. 135-141. Springer, (2018)An Approach to Combining B and Alloy., и . ZB, том 2272 из Lecture Notes in Computer Science, стр. 140-161. Springer, (2002)