default search action

combined dblp search
author search
venue search
publication search

ask others

European Educational Forum: School on Embedded Systems 1996

> Home > Conferences and Workshops > European Educational Forum

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/eef/1996
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eef/1996
Grzegorz Rozenberg, Frits W. Vaandrager:
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

Introduction

- view
  authority control:
- export record
  dblp key:
  - conf/eef/Vaandrager96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eef/Vaandrager96
Frits W. Vaandrager:
Introduction. 1-3

Formal Models and Analysis

- view
  authority control:
- export record
  dblp key:
  - conf/eef/KestenMP96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eef/KestenMP96
Yonit Kesten, Zohar Manna, Amir Pnueli:
Verification of Clocked and Hybrid Systems. 4-73
- view
  authority control:
- export record
  dblp key:
  - conf/eef/Branicky96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eef/Branicky96
Michael S. Branicky:
Analyzing and Synthesizing Hybrid Control Systems. 74-113
- view
  authority control:
- export record
  dblp key:
  - conf/eef/Yovine96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eef/Yovine96
Sergio Yovine:
Model Checking Timed Automata. 114-152

Real-Time Systems

- view
  authority control:
- export record
  dblp key:
  - conf/eef/ChenMB96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eef/ChenMB96
Deji Chen, Aloysius K. Mok, Sanjoy K. Baruah:
On Modeling Real-Time Task Systems. 153-169
- view
  authority control:
- export record
  dblp key:
  - conf/eef/RenA96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eef/RenA96
Shangping Ren, Gul Agha:
A Modular Approach for Programming Embedded Systems. 170-207

Development and Engineering

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

Case Studies

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

Undustrial Perspective

- view
  authority control:
- export record
  dblp key:
  - conf/eef/Bourgonjon96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eef/Bourgonjon96
R. H. Bourgonjon:
Embedded Systems in Consumer Products. 395-403
- view
  authority control:
- export record
  dblp key:
  - conf/eef/Rietschote96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eef/Rietschote96
Hans F. van Rietschote:
The Long Road from Research to Telecommunication Applications. 404-412
- view
  authority control:
- export record
  dblp key:
  - conf/eef/Veltmaat96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eef/Veltmaat96
Freddie T. G. Veltmaat:
Development of Embedded Software at ICT. 413-421

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.