( en | de | ru )

 

Disambiguierung von "Banach, Richard"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Book Review: "Refinement in Z and object-Z: Foundations and Advanced Applications" by John Derrick and Eerke Boiten.

. J. Log. Comput., 13 (2): 313-314 (2003)

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

Punishment not Reward: Disincentivising Blockchain Application Misbehaviour.. IEEE ICBC, Seite 185-187. IEEE, (2019)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)Implementing interaction nets in MONSTR., und . SAC, Seite 509-514. ACM, (1997)Retrenchment: An Engineering Variation on Refinement., und . B, Volume 1393 von Lecture Notes in Computer Science, Seite 129-147. Springer, (1998)Invariant Guided System Decomposition.. ABZ, Volume 8477 von Lecture Notes in Computer Science, Seite 271-276. Springer, (2014)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 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)The 'Causality' Quagmire for Formalised Bond Graphs., und . ICGT, Volume 14774 von Lecture Notes in Computer Science, Seite 99-117. Springer, (2024)