Documents Industrial usage of VDM Dr Peter Gorm Larsen Associate Professor University College of Aarhus + PGL....

Slide 1 Industrial usage of VDM Dr Peter Gorm Larsen Associate Professor University College of Aarhus + PGL Consult Slide 2 Ingeniørhøjskolen i Århus Slide 2 Personal…

Documents Semantics in Practice Dr Peter Gorm Larsen Associate Professor University College of Aarhus + PGL...

Slide 1 Semantics in Practice Dr Peter Gorm Larsen Associate Professor University College of Aarhus + PGL Consult [email protected] Slide 2 Ingeniørhøjskolen i Århus Slide 2…