 | 2007 |
|---|
| 4 |       | Jan Bosch,
Stefan Friedrichs,
Stefan Jung,
Johannes Helbig,
Alexander Scherdin:
Service Orientation in the Enterprise.
IEEE Computer 40(11): 51-56 (2007) |
| 1994 |
|---|
| 3 |  | Johannes Helbig,
Peter Kelb:
An OBDD-Representation of Statecharts.
EDAC-ETC-EUROASIC 1994: 142-149 |
| 2 | | Werner Damm,
Johannes Helbig:
Linking Visual Formalisms: A Compositional Proof System for Statecharts Based on Symbolic Timing Diagrams.
PROCOMET 1994: 341-359 |
| 1993 |
|---|
| 1 | | Johannes Helbig,
Rainer Schlör,
Werner Damm,
Gert Döhmen,
Peter Kelb:
VHDL/S - integrating statecharts, timing diagrams, and VHDL.
Microprocessing and Microprogramming 38(1-5): 571-580 (1993) |
