15th German ENCRESS Event
joint German ENCRESS / ISA-EUNET Event

VDM (Validated Design through Modeling) Applications Course

20th � 21st May, 1999
GRS / ISTec Garching

Programm

Peter Gorm Larsen

IFAD, Odense (DK)

Participants of this course had previously attended the training course on VDM basics. At this stage they were be able to work on their own examples and applications under the guidance of the teacher. The attendees were thus able to get the overall structure of their particular problem domain modelled correctly with the assistance of the teacher.