European Educational Forum: School on Embedded Systems 1996

Introduction

Formal Models and Analysis

Real-Time Systems

Development and Engineering

Case Studies

Undustrial Perspective