Lectures on embedded systems : European Educational Forum School on Embedded Systems, Veldhoven, The Netherlands November 25 29, 1996

Lectures on embedded systems : European Educational Forum School on Embedded Systems, Veldhoven, The Netherlands November 25 29, 1996

This volume originates from the School on Embedded Systems held in Veldhoven, The Netherlands, in November 1996 as the first event organized by the European Educational Forum. Besides thoroughly reviewed and revised chapters based on lectures given during the school, additional papers have been soli...

Full description

Saved in:
Bibliographic Details
Corporate Author: European Educational Forum School on Embedded Systems :Veldhoven, Pays-Bas
Other Authors: Rozenberg, Grzegorz, 1942- (Publishing director), Vaandrager, Frits W., 1962- (Publishing director)
Format: Livre numérique
Language:Anglais
Published: Berlin [etc.] : Springer [20..].
Cham : Springer Nature
Series:Lecture notes in computer science 1494
Subjects:
Systèmes embarqués (informatique)
Génie logiciel
Informatique
Systèmes d'exploitation (ordinateurs)
Actes de congrès
Online Access:Accès sur la plateforme de l'éditeur
Accès sur la plateforme Istex
Accès Université d'Orléans
Accès INSA CVL
Note: Archives Springer e-books (Licence nationale)
Archives Springer e-books (Licence nationale)
Autres localisations: Voir dans le Sudoc
Edition sous un autre format:• Lectures on embedded systems, European Educational Forum School on Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996, Grzegorz Rozenberg, Frits Vaandrager, (eds.), 1998, Berlin, Springer, 1 vol. (VIII-421 p.), Lecture notes in computer science, 3-540-65193-4
• Lectures on Embedded Systems, Texte imprimé, 9783662184028
Table of Contents:
  • Verification of clocked and hybrid systems
  • Analyzing and synthesizing hybrid control systems
  • Model checking timed automata
  • On modeling real-time task systems
  • A modular approach for programming embedded systems
  • Proof-based system engineering and embedded systems
  • A design notation and toolset for high-performance embedded systems development
  • The maturity of object-oriented methodologies
  • Object oriented development of embedded systems with the octopus method
  • Engineering of real-time systems with an experiment in hybrid control
  • Formal methods in the design of a storm surge barrier control system
  • Statecharts in use: structured analysis and object-orientation
  • Embedded systems in consumer products
  • The long road from research to telecommunication applications
  • Development of embedded software at ICT.

Similar Items