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
Test Generation with Inputs, Outputs, and Quiescence
G.J. Tretmans (Keynote speaker)
Activity
:
Talk or presentation
›
Oral presentation
Description
Opmerking: Key-note speaker
Period
27 Mar 1996
Event title
2nd International Workshop on Tools and Algorithms for Construction and Analysis of Systems, TACAS 1996
Event type
Workshop
Conference number
2
Location
Passau, Germany, Bavaria
Show on map
Keywords
METIS-121211
X