( en | de | ru )

 

Disambiguation of "Rammig, Franz J."

Author of the publication

copydeleteadd this publication to your clipboard
Increasing Dependability by Means of Model-Based Acceptance Test inside RTOS.

, , , , and . PPAM, volume 3911 of Lecture Notes in Computer Science, page 1034-1041. Springer, (2005)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Franz Rammig

Franz Josef Rammig

Ralf Rammig

Franz-J Hirninger

Franz-J Schröder

 

Other publications of authors with the same name

A concept for the editing of hardware resulting in an automatic hardware-editor.. DAC, page 187-193. ACM, (1977)A Petri Net Based Approach for the Design of Dynamically Modifiable Embedded Systems., and . DIPES, volume 150 of IFIP, page 257-266. Kluwer/Springer, (2004)Entwurf, Beschreibung und Implementierung von Systemen mit Hilfe der nebenläufigen Programmiersprache CAP.. ARCS, volume 27 of Informatik-Fachberichte, page 205-216. Springer, (1980)Systematischer Entwurf digitaler Systeme - von der Systeme- bis zur Gatter-Ebene.. Leitfäden und Monographien der Informatik Teubner, (1989)Modelling aspects of system level design.. EURO-DAC, page 534-539. IEEE Computer Society, (1993)Spezielle Aspekte der Verlustleistungsgetriebenen High-Level Synthese., , and . GI Jahrestagung (1), volume P-67 of LNI, page 455. GI, (2005)A new Design Partitioning Approach for Low Power High-Level Synthesis., and . DELTA, page 143-148. IEEE Computer Society, (2006)System Level Design: The New Challenge.. IFIP Congress (1), volume A-12 of IFIP Transactions, page 714. North-Holland, (1992)Entwicklung von µ-Prozessor Software und µ-Prozessor orientierter Hardware mit Hilfe des CAP-CAD-Systems., , and . Microcomputing, volume 3 of Berichte des German Chapter of the ACM, page 170-187. Teubner, (1979)Model Based Formal Verification of Distributed Production Control Systems., and . SoftSpez Final Report, volume 3147 of Lecture Notes in Computer Science, page 451-473. Springer, (2004)