( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Atomic actions, and their refinements to isolated protocols.

, и . Formal Aspects Comput., 22 (1): 33-61 (2010)

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.

Ulrich Banach

Ralf Banach

Henryk Banach

Thomas Banach

Jens Banach

 

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

Invariant Guided System Decomposition.. ABZ, том 8477 из Lecture Notes in Computer Science, стр. 271-276. Springer, (2014)Retrenchment: An Engineering Variation on Refinement., и . B, том 1393 из Lecture Notes in Computer Science, стр. 129-147. Springer, (1998)Punishment not Reward: Disincentivising Blockchain Application Misbehaviour.. IEEE ICBC, стр. 185-187. IEEE, (2019)Implementing interaction nets in MONSTR., и . SAC, стр. 509-514. ACM, (1997)The mechanical generation of fault trees for reactive systems via retrenchment II: clocked and feedback circuits., и . Formal Aspects Comput., 25 (4): 609-657 (2013)Retrenchment for Event-B: UseCase-wise development and Rodin integration.. Formal Aspects Comput., 23 (1): 113-131 (2011)Contemplating the Addition of Stochastic Behaviour to Hybrid Event-B.. TASE, стр. 42-49. IEEE Computer Society, (2014)Retrenchment: Extending the Reach of Refinement., и . ASE, стр. 158-165. IEEE Computer Society, (1999)Simulation and formal modelling of yaw control in a drive-by-wire application., , и . FedCSIS, том 5 из Annals of Computer Science and Information Systems, стр. 731-742. IEEE, (2015)The 'Causality' Quagmire for Formalised Bond Graphs., и . ICGT, том 14774 из Lecture Notes in Computer Science, стр. 99-117. Springer, (2024)