MOVES: a Tool for Modeling and Verification of Embedded Systems

Larsen, K. G. (Lecturer)

Activity: Talks and presentationsTalks and presentations in private or public companies

Period12 Mar 2007
Event typeConference
LocationSønderborg, Denmark