( en | de | ru )

 

Disambiguation

From post

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

, , , и . Sci. Comput. Program., (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.

Martin Butler

Marko Butler

Erin Butler

Carl Butler

Helge Butler

 

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

Towards Refinement Semantics of Real-Time Trigger-Response Properties in Event-B., , и . TASE, стр. 1-8. IEEE, (2019)An Approach to Combining B and Alloy., и . ZB, том 2272 из Lecture Notes in Computer Science, стр. 140-161. Springer, (2002)An Ordered Bipolar Outflow from a Massive Early-Stage Core, , , , , и . (24.01.2016)ProB: A Model Checker for B., и . FME, том 2805 из Lecture Notes in Computer Science, стр. 855-874. Springer, (2003)Decomposition Structures for Event-B.. IFM, том 5423 из Lecture Notes in Computer Science, стр. 20-38. Springer, (2009)Developing the UML-B Modelling Tools., , , , и . SEFM Workshops, том 13765 из Lecture Notes in Computer Science, стр. 181-188. Springer, (2022)A mixed approach to rigorous development of control designs., , , , и . CACSD, стр. 7-12. IEEE, (2013)Systematic Development of Control Designs via Formal Refinement., , , , и . MODELSWARD, стр. 143-148. SciTePress, (2013)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)