BibSonomy publications for /author/SchlörThu Jun 16 00:00:00 CEST 2011Services and Visualization: Towards User-Friendly Designconf/tacas/1998acos208-221Lecture Notes in Computer ScienceUsing a Visual Formalism for Design Verification in Industrial Environments.13851998dblp Tue Sep 22 00:00:00 CEST 2009Microprocessing and Microprogramming1-5571-580VHDL/S - integrating statecharts, timing diagrams, and VHDL.381993dblp Fri Jul 03 00:00:00 CEST 2009ISoLAconf/isola/2006204-211Cost-Efficient Worst-Case Execution Time Analysis in Industrial Practice.2006dblp Mon Mar 02 00:00:00 CET 2009EDAC-ETC-EUROASICconf/eurodac/1994edac385-394Interface Controller Synthesis from Requirement Specifications.1994dblp Wed Apr 09 00:00:00 CEST 2008EURO-DACconf/eurodac/1995548-553Verification of a production cell controller using symbolic timing diagrams.1995dblp Tue Feb 05 00:00:00 CET 2002Formal Development of Reactive Systemsconf/korso/1995fd131-149Lecture Notes in Computer ScienceStatecharts.8911995dblp Tue Feb 05 00:00:00 CET 2002Formal Development of Reactive Systemsconf/korso/1995fd311-331Lecture Notes in Computer ScienceSymbolic Timing Diagrams.8911995dblp