Advances in Design Methods from Modeling Languages for Embedded Systems and SoC s : Selected Contributions on Specification, Design, and Verification from FDL 2009
More than ever, FDL is the place for researchers, developers, industry designers, academia, and EDA tool companies to present and to learn about the latest scientific achievements, practical applications and users experiences in the domain of specification and design languages. FDL covers the modeli...
Enregistré dans:
| Hovedforfatter: | Borrione, Dominique, 19..-...., informaticien |
|---|---|
| Andre forfattere: | Borrione, Dominique (Éditeur intellectuel) |
| Format: | Livre numérique |
| Sprog: | Anglais |
| Udgivet: |
Dordrecht :
Springer Netherlands : Springer e-books : Imprint: Springer : Springer e-books
[20..].
Cham : Springer Nature |
| Serier: | Lecture Notes in Electrical Engineering
63 |
| Online adgang: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Kommentar: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Advances in Design Methods from Modeling Languages for Embedded Systems and SoC s, Texte imprimé, 9789048193035 |
Lignende værker
-
Advances in Design and Specification Languages for SoCs : Selected Contributions from FDL 04
(Livre numérique)
Boulet, Pierre, 1970-...., chercheur en informatique -
Applications of Specification and Design Languages for SoCs : Selected papers from FDL 2005
(Livre numérique)
Vachoux, A. -
Embedded Systems Specification and Design Languages : Selected contributions from FDL 07
(Livre numérique)
Villar, Eugenio
Springer Netherlands, 2008 -
Languages for Embedded Systems and their Applications : Selected Contributions on Specification, Design, and Verification from FDL 08
(Livre numérique)
Radetzki, Martin -
Co-verification of Hardware and Software for ARM SoC Design
(Livre numérique)
Andrews, Jason

