Johannes Helbig (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2 Werner Damm, Johannes Helbig: Linking Visual Formalisms: A Compositional Proof System for Statecharts Based on Symbolic Timing Diagrams. PROCOMET 1994: 341-359

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)

Selection of 2 from 4 records - Johannes Helbig has 8 coauthors

2		Werner Damm, Johannes Helbig: Linking Visual Formalisms: A Compositional Proof System for Statecharts Based on Symbolic Timing Diagrams. PROCOMET 1994: 341-359
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)