1991 | ||
---|---|---|
3 | Heinz Saria, Heinrich Nirschl, Carl Binding: Mixing LOTOS and SDL Specifications. FORTE 1991: 425-439 | |
1990 | ||
2 | Josef Hinterplattner, Heinrich Nirschl, Heinz Saria: Process Topology Diagrams. FORTE 1990: 443-458 | |
1989 | ||
1 | Michael Fastenbauer, Heinz Saria: HCDM/GSDS - A Design Environment for Real-time Software with Automatic Program Generation. ESEC 1989: 324-335 |
1 | Carl Binding | [3] |
2 | Michael Fastenbauer | [1] |
3 | Josef Hinterplattner | [2] |
4 | Heinrich Nirschl | [2] [3] |