European Educational Forum: School on Embedded Systems 1996

Grzegorz Rozenberg, Frits W. Vaandrager (Eds.): Lectures on Embedded Systems, European Educational Forum, School on Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996. Lecture Notes in Computer Science 1494 Springer 1998, ISBN 3-540-65193-4 BibTeX

@proceedings{DBLP:conf/eef/1996,
  editor    = {Grzegorz Rozenberg and
               Frits W. Vaandrager},
  title     = {Lectures on Embedded Systems, European Educational Forum, School
               on Embedded Systems, Veldhoven, The Netherlands, November 25-29,
               1996},
  booktitle = {School on Embedded Systems},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1494},
  year      = {1998},
  isbn      = {3-540-65193-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Introduction

Frits W. Vaandrager: Introduction. 1-3 BibTeX

Formal Models and Analysis

Yonit Kesten, Zohar Manna, Amir Pnueli: Verification of Clocked and Hybrid Systems. 4-73 BibTeX
Michael S. Branicky: Analyzing and Synthesizing Hybrid Control Systems. 74-113 BibTeX
Sergio Yovine: Model Checking Timed Automata. 114-152 BibTeX

Real-Time Systems

Deji Chen, Aloysius K. Mok, Sanjoy K. Baruah: On Modeling Real-Time Task Systems. 153-169 BibTeX
Shangping Ren, Gul Agha: A Modular Approach for Programming Embedded Systems. 170-207 BibTeX

Development and Engineering

Gérard Le Lann: Proof-Based System Engineering and Embedded Systems. 208-248 BibTeX
Devesh Bhatt, John Shackleton: A Design Notation and Toolset for High-Performance Embedded Systems Development. 249-267 BibTeX
André van den Hoogenhof: The Maturity of Object-Oriented Methodologies. 268-303 BibTeX
Juha Kuusela: Object Oriented Development of Embedded Systems with the Octopus Method. 304-315 BibTeX

Case Studies

Anders P. Ravn, Thomas J. Eriksen, Michael Holdgaard, Hans Rischel: Engineering of Real-Time Systems with an Experiment in Hybrid Control. 316-352 BibTeX
Pim Kars: Formal Methods in the Design of s Storm Surge Barrier Control System. 353-367 BibTeX
Bruce Powel Douglass, David Harel, Mark B. Trakhtenbrot: Statecharts in Use: Structured Analysis and Object-Orientation. 368-394 BibTeX

Undustrial Perspective

R. H. Bourgonjon: Embedded Systems in Consumer Products. 395-403 BibTeX
Hans F. van Rietschote: The Long Road from Research to Telecommunication Applications. 404-412 BibTeX
Freddie T. G. Veltmaat: Development of Embedded Software at ICT. 413-421 BibTeX