Campus Event Calendar
Event Entry
New for: D5
What and Who
Methods of Modelling Embedded Systems
Dr. Angelika Mader
University of Twente
Talk
AG 1, AG 2, AG 3, AG 4, AG 5
Expert Audience
Note: We use this to send email in the morning.
Date, Time and Location
Friday, 14 November 2003
11:15
-- Not specified --
45 - FR 6.2
528
Saarbrücken
Abstract
Dr. Angelika Mader
Distributed and Embedded Systems Research Group
University of Twente
In the actual verification traject much more effort
is put into the development of sophisticated algorithms
and tools than into the modelling part. However, for
the overall success of verification a more balanced
approach has to be taken. In this talk we discuss first
approaches, criteria and guidelines for a more systematic
way of modelling embedded systems.
Contact
--email hidden
passcode not visible
logged in users only
Brigitta Hansen, 11/12/2003 09:15 -- Created document.