![]() | ![]() |
2004 | ||
---|---|---|
3 | EE | Martin Zambaldi, Wolfgang Ecker, T. Kruse, W. Müller: The Formal Simulation Semantics of SystemVerilog. FDL 2004: 568-578 |
2002 | ||
2 | Wilhelm Dangelmaier, C. Darnedde, Stephan Flake, W. Müller, Ulrich Pape: Graphische Spezifikation und Echtzeitverifikation von Produktautomatisierungssystemen (GRASP). Modelle im E-Business 2002: 829- | |
1996 | ||
1 | H. Aisch, M. Joosten, W. Müller, F. Buijs: Interaktiver Produktaustausch mit EDIFACT. CAD 1996: 165-178 |
1 | H. Aisch | [1] |
2 | F. Buijs | [1] |
3 | Wilhelm Dangelmaier | [2] |
4 | C. Darnedde | [2] |
5 | Wolfgang Ecker | [3] |
6 | Stephan Flake | [2] |
7 | M. Joosten | [1] |
8 | T. Kruse | [3] |
9 | Ulrich Pape | [2] |
10 | Martin Zambaldi | [3] |