Bent Dandanell

According to our database, Bent Dandanell authored at least 3 papers between 1991 and 1993.

Collaborative distances:

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

1993

Experience from Applications of RAISE.

Bent Dandanell, Jesper Gørtz, Jan Storbank Pedersen, Eld Zierau

Proceedings of the FME '93: Industrial-Strength Formal Methods, 1993

1991

Rigorous development using RAISE.

Bent Dandanell

Proceedings of the conference on Software for citical systems, 1991

Using RAISE - First Impressions from the LaCoS Applications.

D. L. Chalmers, Bent Dandanell, Jesper Gørtz, Jan Storbank Pedersen, Eld Zierau

Proceedings of the VDM '91, 1991