Autor der Publikation

Targeting different abstraction layers by model-based design methods for embedded systems: A case study.

, , und . RTCSA, Seite 334-337. IEEE Computer Society, (2013)

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

Synchronous Programming (Dagstuhl Seminar 13471)., , und . Dagstuhl Reports, 3 (11): 117-143 (2013)Automatic Hard Block Inference on FPGAs., und . DSD, Seite 551-557. IEEE Computer Society, (2013)Das grafische Ausgabesystem am VW-Prozeß-Leit-System (PLS)., , und . Elektronische Rechenanlagen, 18 (5): 241-245 (1976)Towards the Applicability of Alf to Model Cyber-Physical Systems., , und . FedCSIS, Seite 1415-1422. (2013)Verification of Reactive Systems - Formal Methods and Algorithms. Texts in Theoretical Computer Science. An EATCS Series Springer, (2004)Formal synthesis of circuits with a simple handshake protocol., , und . VLSI Design, Seite 255-259. IEEE Computer Society, (1995)Global vs. Local Model Checking: A Comparison of Verification Techniques for Infinite State Systems., und . SEFM, Seite 67-76. IEEE Computer Society, (2004)Separate compilation and execution of imperative synchronous modules., , und . DATE, Seite 1580-1583. IEEE, (2009)Efficient Representation and Computation of Tableau Proofs., , und . TPHOLs, Volume A-20 von IFIP Transactions, Seite 39-57. North-Holland/Elsevier, (1992)Kontrollfluss-Verifikation von Algorithmen mittels Modellprüfung., , , , und . MBMV, Seite 114-123. HNI-Verlagsschriften, (1998)