BibSonomy publications for /author/Schlör

Using a Visual Formalism for Design Verification in Industrial Environments.

dblp — 2011-06-16T00:00:00+02:00

Rainer Schlör, Bernhard Josko, and Dieter Werth Services and Visualization: Towards User-Friendly Design, volume 1385 of Lecture Notes in Computer Science, page 208-221. Springer, (1998)

VHDL/S - integrating statecharts, timing diagrams, and VHDL.

dblp — 2009-09-22T00:00:00+02:00

J. Helbig, Rainer Schlör, Werner Damm, Gert Döhmen, and Peter Kelb Microprocessing and Microprogramming 38(1-5):571-580 (1993)

Cost-Efficient Worst-Case Execution Time Analysis in Industrial Practice.

dblp — 2009-07-03T00:00:00+02:00

Jan Staschulat, Jörn-Christian Braam, Rolf Ernst, Thomas Rambow, Rainer Schlör, and Rainer Busch ISoLA, page 204-211. IEEE, (2006)

Interface Controller Synthesis from Requirement Specifications.

dblp — 2009-03-02T00:00:00+01:00

Franz Korf, and Rainer Schlör EDAC-ETC-EUROASIC, page 385-394. IEEE Computer Society, (1994)

Verification of a production cell controller using symbolic timing diagrams.

dblp — 2008-04-09T00:00:00+02:00

Rainer Schlör, and Franz Korf EURO-DAC, page 548-553. IEEE Computer Society, (1995)

Statecharts.

dblp — 2002-02-05T00:00:00+01:00

Werner Damm, Hardi Hungar, Peter Kelb, and Rainer Schlör Formal Development of Reactive Systems, volume 891 of Lecture Notes in Computer Science, page 131-149. Springer, (1995)

Symbolic Timing Diagrams.

dblp — 2002-02-05T00:00:00+01:00

Franz Korf, and Rainer Schlör Formal Development of Reactive Systems, volume 891 of Lecture Notes in Computer Science, page 311-331. Springer, (1995)