Heinz Saria

According to our database, Heinz Saria authored at least 4 papers between 1989 and 1993.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1993

Selling Believable Technology.

Christophe Debou, Norbert Fuchs, Heinz Saria

IEEE Softw., 1993

1991

Mixing LOTOS and SDL Specifications.

Heinz Saria, Heinrich Nirschl, Carl Binding

Proceedings of the Formal Description Techniques, 1991

1990

Process Topology Diagrams.

Josef Hinterplattner, Heinrich Nirschl, Heinz Saria

Proceedings of the Formal Description Techniques, 1990

1989

HCDM/GSDS - A Design Environment for Real-time Software with Automatic Program Generation.

Michael Fastenbauer, Heinz Saria

Proceedings of the ESEC '89, 1989