8th RTS 1996: L'Aquila, Italy

Session 1 - Design and Verification 1

Session 2 - Design Process

Open Forum Session I

Session 3 - Multimedia

Session 4 - Design and Verification II

Session 5 - Embedded Applications

Session 6 - Knowledge-Based Systems

Open Forum Session II

Session 7 - Specification and Description Formalisms

Session 8 - Communications

Session 9 - Scheduling

Session 10 - Hardware Support for Real Time

Session 11 - Languages

a service of Schloss Dagstuhl - Leibniz Center for Informatics