Autor der Publikation

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

The DIRC Project as the Context of this Book.. Trust in Technology, Volume 36 von Computer Supported Cooperative Work, Springer, (2006)Editorial message: special track on inter-disciplinary approaches to the design of dependable computer systems., , , , und . SAC, Seite 704-705. ACM, (2002)Semantic Models for a Logic of Partial Functions., und . Int. J. Softw. Informatics, 5 (1-2): 55-76 (2011)Abstraction as a Unifying Link for Formal Approaches to Concurrency.. SEFM, Volume 7504 von Lecture Notes in Computer Science, Seite 1-15. Springer, (2012)Specification Before Satisfaction: The Case for Research into Obtaining the Right Specification - Extended Abstract.. ZB, Volume 3455 von Lecture Notes in Computer Science, Seite 1-5. Springer, (2005)Thinking Tools for the Future of Computing Science.. Informatics, Volume 2000 von Lecture Notes in Computer Science, Seite 112-130. Springer, (2001)Software Development Based on Formal Methods.. System Development and Ada, Volume 275 von Lecture Notes in Computer Science, Seite 153-172. Springer, (1986)The Role of Proof Obligations in Software Design.. TAPSOFT, Vol.2, Volume 186 von Lecture Notes in Computer Science, Seite 27-41. Springer, (1985)Determining the Specification of a Control System from That of Its Environment., , und . FME, Volume 2805 von Lecture Notes in Computer Science, Seite 154-169. Springer, (2003)Some Practical Problems and Their Influence on Semantics.. ESOP, Volume 1058 von Lecture Notes in Computer Science, Seite 1-17. Springer, (1996)