( en | de | ru )

 

Disambiguierung von "Banach, Richard"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Atomic actions, and their refinements to isolated protocols.

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

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Ulrich Banach

Ralf Banach

Henryk Banach

Thomas Banach

Jens Banach

 

Weitere Publikationen von Autoren mit dem selben Namen

Implementing interaction nets in MONSTR., und . SAC, Seite 509-514. ACM, (1997)Invariant Guided System Decomposition.. ABZ, Volume 8477 von Lecture Notes in Computer Science, Seite 271-276. Springer, (2014)Punishment not Reward: Disincentivising Blockchain Application Misbehaviour.. IEEE ICBC, Seite 185-187. IEEE, (2019)Retrenchment: An Engineering Variation on Refinement., und . B, Volume 1393 von Lecture Notes in Computer Science, Seite 129-147. Springer, (1998)The mechanical generation of fault trees for reactive systems via retrenchment II: clocked and feedback circuits., und . 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, Seite 42-49. IEEE Computer Society, (2014)Retrenchment: Extending the Reach of Refinement., und . ASE, Seite 158-165. IEEE Computer Society, (1999)Simulation and formal modelling of yaw control in a drive-by-wire application., , und . FedCSIS, Volume 5 von Annals of Computer Science and Information Systems, Seite 731-742. IEEE, (2015)The 'Causality' Quagmire for Formalised Bond Graphs., und . ICGT, Volume 14774 von Lecture Notes in Computer Science, Seite 99-117. Springer, (2024)