( en | de | ru )

 

Disambiguierung von "Back, Ralph-Johan"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Semantics and proof rules of invariant based programs.

, und . SAC, Seite 1658-1665. ACM, (2011)

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.

John Ralph

Peter Back

Birgit Bäck

Artur Back

Rudolf Back

 

Weitere Publikationen von Autoren mit dem selben Namen

Semantics and proof rules of invariant based programs., und . SAC, Seite 1658-1665. ACM, (2011)Hathi-2 multiprocessor system., , und . Microprocess. Microsystems, 14 (7): 457-466 (1990)Contracts and Games in Controller Synthesis for Discrete Systems., und . ECBS, Seite 307-315. IEEE Computer Society, (2004)A new paradigm for the design of concurrent systems., und . IRTAW, Seite 110-112. ACM, (1987)Derivation of Efficient DAG Marking Algorithms., , und . POPL, Seite 20-27. ACM Press, (1983)Computational Heuristics for Simplifying a Biological Model., , und . CiE, Volume 5635 von Lecture Notes in Computer Science, Seite 399-408. Springer, (2009)Refinement Concepts Formalized in Higher Order Logic., und . Programming Concepts and Methods, Seite 179-200. North-Holland, (1990)Software Development and Experimentation in an Academic Environment: The Gaudi Experience., , und . PROFES, Volume 3547 von Lecture Notes in Computer Science, Seite 414-428. Springer, (2005)Proofs and Refutations in Invariant-Based Programming., , und . IFM, Volume 8739 von Lecture Notes in Computer Science, Seite 189-204. Springer, (2014)Exploring Summation and Product Operators in the Refinement Calculus., und . MPC, Volume 947 von Lecture Notes in Computer Science, Seite 128-158. Springer, (1995)