Towards a Semantics for VDM Core

Activity: Participation in conference/workshop/course/seminar › Participation in workshop, seminar, course

From the same researcher

Conference on European Rail Traffic Management System
Activity: Participation in conference/workshop/course/seminar › Participation in workshop, seminar, course
Danish Railway Conference 2012
Activity: Participation in conference/workshop/course/seminar › Organisation of and participation in conference
Assessment Committee for a post.doc. position
Activity: Participation in council, board, committee and network › Membership in committee, council, board
Effective Development and Verification of Railway Control Software
Activity: Lecture and oral contribution
MicroSoft Research Software Summit
Activity: Participation in conference/workshop/course/seminar › Organisation of and participation in conference
A Model-based Tool Set for Simulation and Verification of Relay Interlocking Systems
Activity: Participation in conference/workshop/course/seminar › Participation in workshop, seminar, course
An Introduction to Formal Methods for Software Development
Activity: Other research and communication activities › External teaching and subject coordination
JAIST Advanced School on Formal Specification and Systems Verification 2010 ( JAIST-FSSV2010)
Activity: Participation in conference/workshop/course/seminar › Organisation of and participation in conference
Talentudvikling og karriererådgivning
Activity: Lecture and oral contribution
An Introduction to Formal Methods for Software Development
Activity: Other research and communication activities › External teaching and subject coordination

Anne Elisabeth Haxthausen - Course lecturer, 20 Jun 2011

Conference

Conference	Towards a Semantics for VDM Core
City	University of Limerick, Ireland
Period	20-06-11 → 20-06-11

View graph of relations

Loading map data...

+–Show allRoadmap Hybrid Satellite Terrain

ID: 2373559