( en | de | ru )

 

Disambiguierung von "Damm, Werner"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Herbrand Automata for Hardware Verification.

, , und . CONCUR, Volume 1466 von Lecture Notes in Computer Science, Seite 67-83. Springer, (1998)

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

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)The IO- and OI-Hierarchies.. Theor. Comput. Sci., (1982)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)Justification Based Reasoning in Dynamic Conflict Resolution., , , , und . CoRR, (2019)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)Higher type program schemes and their tree languages.. Theoretical Computer Science, Volume 48 von Lecture Notes in Computer Science, Seite 51-72. Springer, (1977)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)