| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2011 | |
|---|---|---|
| 4 |      | Till Steinbach, Hermand Dieumo Kenfack, Franz Korf, Thomas C. Schmidt: An extension of the OMNeT++ INET framework for simulating real-time ethernet with high accuracy. SimuTools 2011: 375-382 |
| 1995 | ||
| 3 | | Rainer Schlör, Franz Korf: Verification of a production cell controller using symbolic timing diagrams. EURO-DAC 1995: 548-553 |
| 2 | | Franz Korf, Rainer Schlör: Symbolic Timing Diagrams. Formal Development of Reactive Systems 1995: 311-331 |
| 1994 | ||
| 1 |  | Franz Korf, Rainer Schlör: Interface Controller Synthesis from Requirement Specifications. EDAC-ETC-EUROASIC 1994: 385-394 |
| 1 | Hermand Dieumo Kenfack | [4] |
| 2 | Rainer Schlör | [1] [2] [3] |
| 3 | Thomas C. Schmidt | [4] |
| 4 | Till Steinbach | [4] |
Colors in the list of coauthors
Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page