( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Core Hybrid Event-B I: Single Hybrid Event-B machines.

, , , , и . Sci. Comput. Program., (2015)

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

 

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

An Ordered Bipolar Outflow from a Massive Early-Stage Core, , , , , и . (24.01.2016)Incremental Database Design using UML-B and Event-B., , и . IMPEX/FM&MDD, том 271 из EPTCS, стр. 34-47. (2017)An Approach to Combining B and Alloy., и . ZB, том 2272 из Lecture Notes in Computer Science, стр. 140-161. Springer, (2002)Decomposition Structures for Event-B.. IFM, том 5423 из Lecture Notes in Computer Science, стр. 20-38. Springer, (2009)DeepSaucer: Unified Environment for Verifying Deep Neural Networks., , , , , , и . CoRR, (2018)High-Level Rigorous Template for Analysing Safety Properties of Self-driving Vehicle Systems., , и . COMPSAC, стр. 1643-1648. IEEE, (2022)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)Developing A New Language to Construct Algebraic Hierarchies for Event-B., , и . SETTA, том 10998 из Lecture Notes in Computer Science, стр. 135-141. Springer, (2018)