( en | de | ru )

 

Disambiguierung von "Damm, Werner"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
The IO- and OI-Hierarchies.

. Theor. Comput. Sci., (1982)

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.

Werner Damm

Werner Damm

Klaus-Werner Damm

Klaus-Werner Damm

Klaus-Werner Damm

 

Weitere Publikationen von Autoren mit dem selben Namen

Boosting re-use of embedded automotive applications through rich components, , , , , und . Proceedings of Foundations of Interface Technologies, (2005)Linking Visual Formalisms: A Compositional Proof System for Statecharts Based on Symbolic Timing Diagrams., und . PROCOMET, Volume A-56 von IFIP Transactions, Seite 341-359. North-Holland, (1994)Verifying electronic control unit: today and tomorrow.. PROCOMET, Volume 125 von IFIP Conference Proceedings, Seite 7-8. Chapman & Hall, (1998)The AADL/S* Approach to Firmware Design Verification., , , und . IEEE Software, 3 (4): 27-37 (1986)Higher Type Recursion and Self-Application as Control Structures., , und . Formal Description of Programming Concepts, Seite 461-490. North-Holland, (1977)Understanding UML: A Formal Semantics of Concurrency and Communication in Real-Time UML., , , und . FMCO, Volume 2852 von Lecture Notes in Computer Science, Seite 71-98. Springer, (2002)Justification Based Reasoning in Dynamic Conflict Resolution., , , , und . CoRR, (2019)Higher type program schemes and their tree languages.. Theoretical Computer Science, Volume 48 von Lecture Notes in Computer Science, Seite 51-72. Springer, (1977)Languages Defined by Higher Type Program Schemes.. ICALP, Volume 52 von Lecture Notes in Computer Science, Seite 164-179. Springer, (1977)On the Power of Self-Application and Higher Type-Recursion., und . ICALP, Volume 62 von Lecture Notes in Computer Science, Seite 177-191. Springer, (1978)