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

Verification of the Futurebus+ Cache Coherence protocol: A case study in model checking., und . ACSC, Volume 26 von CRPIT, Seite 65-71. Australian Computer Society, (2004)Component-Based Design and Analysis: A Case Study., , und . SEFM, Seite 126-. IEEE Computer Society, (2003)Development Framework for Implementing FPGA-Based Cognitive Network Nodes., , , , , und . GLOBECOM, Seite 1-7. IEEE, (2009)Modular Analysis of Dataflow Process Networks., , , und . FASE, Volume 2621 von Lecture Notes in Computer Science, Seite 184-199. Springer, (2003)Polymorphic CSP Type Checking., und . ACSC, Seite 156-162. IEEE Computer Society, (2001)A method for describing the syntax and semantics of UML statecharts, , und . Software and Systems Modeling, V3 (2): 150--163 (Mai 2004)Describing the Syntax and Semantics of UML Statecharts in a Heterogeneous Modelling Environment., , und . Diagrams, Volume 2317 von Lecture Notes in Computer Science, Seite 320-334. Springer, (2002)Generic Software Framework for Adaptive Applications on FPGAs., , , , und . FCCM, Seite 55-62. IEEE Computer Society, (2009)A predicate-based approach to defining visual language syntax., und . HCC, Seite 40-47. IEEE Computer Society, (2001)Lightweight Consistency Analysis of Dataflow Process Networks., , und . ACSC, Volume 16 von CRPIT, Seite 291-300. Australian Computer Society, (2003)