Skip to main navigation
Skip to search
Skip to main content
University of Twente Research Information Home
Home
Profiles
Research units
Projects
Research output
Datasets
Activities
Prizes
Press/Media
Search by expertise, name or affiliation
HaaST: Verification of soft and hard timed systems
Katoen, J. P.
(Invited speaker)
Activity
:
Talk or presentation
›
Oral presentation
Description
Opmerking: Invited
Period
13 Oct 2000
Event title
1st PROGRESS Workshop on Embedded Systems 2000
Event type
Workshop
Conference number
1
Organiser
Dutch Technology Foundation (STW)
Location
Utrecht, Netherlands
Show on map
Keywords
METIS-120890
X