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...
Guardat en:
| Autor corporatiu: | |
|---|---|
| Altres autors: | , |
| Format: | Livre numérique |
| Idioma: | Anglais |
| Publicat: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Col·lecció: | Lecture notes in computer science
1494 |
| Matèries: | |
| Accés en línia: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
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 |
| LEADER | 04220nam a22004217a 4500 | ||
|---|---|---|---|
| 001 | 943950 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155169416 | ||
| 020 | |a 9783540494980 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004.16 | ||
| 082 | |a 004 | ||
| 111 | 2 | |a European Educational Forum School on Embedded Systems |d (1996 |c :Veldhoven, Pays-Bas). | |
| 245 | 1 | 0 | |a Lectures on embedded systems : |b European Educational Forum School on Embedded Systems, Veldhoven, The Netherlands November 25 29, 1996 |c [edited by] Grzegorz Rozenberg, Frits W. Vaandrager. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 1494 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a 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. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a 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 solicited for inclusion in the present book in order to complete coverage of the relevant topics. The authors adress professionals involved in the design and management of embedded systems in industry as well as researchers and students interested in a competent survey. The book will convince the reader that many architectural and algorithmic problems in the area of embedded systems have well documented optimal or correct solutions, notably in the fields of real-time computing, distributed computing, and fault-tolerant computing. | ||
| 650 | |a Systèmes embarqués (informatique) | ||
| 650 | |a Génie logiciel | ||
| 650 | |a Informatique | ||
| 650 | |a Systèmes d'exploitation (ordinateurs) | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Rozenberg, Grzegorz, |d 1942- |4 pbd | |
| 700 | 1 | |a Vaandrager, Frits W., |d 1962- |4 pbd | |
| 776 | 0 | |0 045444161 |t Lectures on embedded systems |o European Educational Forum School on Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996 |f Grzegorz Rozenberg, Frits Vaandrager, (eds.) |d 1998 |c Berlin |n Springer |p 1 vol. (VIII-421 p.) |s Lecture notes in computer science |z 3-540-65193-4 | |
| 776 | 0 | |t Lectures on Embedded Systems |b Texte imprimé |z 9783662184028 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-65193-4 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-1D8T18RH-M |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:74792421X |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-65193-4 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:75093638X |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-65193-4 |z Accès INSA CVL | |
| 997 | |0 943950 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||