European Educational Forum: School on Embedded Systems 1996

- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/eef/1996
- ask others
Grzegorz Rozenberg, Frits W. Vaandrager (Eds.): Lectures on Embedded Systems, European Educational Forum, School on Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996. Springer 1998 Lecture Notes in Computer Science ISBN 3-540-65193-4

Introduction

- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/eef/Vaandrager96
- ask others
Frits W. Vaandrager: Introduction. 1-3

Formal Models and Analysis

- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/eef/KestenMP96
- ask others
Yonit Kesten, Zohar Manna, Amir Pnueli: Verification of Clocked and Hybrid Systems. 4-73
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/eef/Branicky96
- ask others
Michael S. Branicky: Analyzing and Synthesizing Hybrid Control Systems. 74-113
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/eef/Yovine96
- ask others
Sergio Yovine: Model Checking Timed Automata. 114-152

Real-Time Systems

- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/eef/ChenMB96
- ask others
Deji Chen, Aloysius K. Mok, Sanjoy K. Baruah: On Modeling Real-Time Task Systems. 153-169
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/eef/RenA96
- ask others
Shangping Ren, Gul Agha: A Modular Approach for Programming Embedded Systems. 170-207

Development and Engineering

- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/eef/Lann96
- ask others
Gérard Le Lann: Proof-Based System Engineering and Embedded Systems. 208-248
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/eef/BhattS96
- ask others
Devesh Bhatt, John Shackleton: A Design Notation and Toolset for High-Performance Embedded Systems Development. 249-267
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/eef/Hoogenhof96
- ask others
André van den Hoogenhof: The Maturity of Object-Oriented Methodologies. 268-303
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/eef/Kuusela96
- ask others
Juha Kuusela: Object Oriented Development of Embedded Systems with the Octopus Method. 304-315

Case Studies

- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/eef/RavnEHR96
- ask others
Anders P. Ravn, Thomas J. Eriksen, Michael Holdgaard, Hans Rischel: Engineering of Real-Time Systems with an Experiment in Hybrid Control. 316-352
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/eef/Kars96
- ask others
Pim Kars: Formal Methods in the Design of s Storm Surge Barrier Control System. 353-367
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/eef/DouglassHT96
- ask others
Bruce Powel Douglass, David Harel, Mark B. Trakhtenbrot: Statecharts in Use: Structured Analysis and Object-Orientation. 368-394

Undustrial Perspective

- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/eef/Bourgonjon96
- ask others
R. H. Bourgonjon: Embedded Systems in Consumer Products. 395-403
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/eef/Rietschote96
- ask others
Hans F. van Rietschote: The Long Road from Research to Telecommunication Applications. 404-412
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/eef/Veltmaat96
- ask others
Freddie T. G. Veltmaat: Development of Embedded Software at ICT. 413-421