Heinz Saria

Publication Activity (10 Years)

Years Active: 1989-1993
Publications (10 Years): 0

Publications

Christophe Debou, Norbert Fuchs, Heinz Saria
Selling Believable Technology. IEEE Softw. 10 (6) (1993)
Heinz Saria, Heinrich Nirschl, Carl Binding
Mixing LOTOS and SDL Specifications. FORTE (1991)
Josef Hinterplattner, Heinrich Nirschl, Heinz Saria
Process Topology Diagrams. FORTE (1990)
Michael Fastenbauer, Heinz Saria
HCDM/GSDS - A Design Environment for Real-time Software with Automatic Program Generation. ESEC (1989)