Using a Visual Formalism for Design Verification in Industrial Environments.
Rainer Schlr, Bernhard Josko, Dieter Werth
VenueATACAS
Year1998
ProceedingsServices and Visualization: Towards User-Friendly Design
DBLP recordconf/tacas/SchlorJW98 ↗
Browse the full TACAS paper archive.