Embedded Systems Specification and Design Languages : Selected contributions from FDL 07

FDL is the most important European and, probably, worldwide forum to present research results, to exchange experiences, and to learn about new trends in the application of specification and design languages and the associated design and modeling methods and tools for complex, heterogeneous HW/SW emb...

Celý popis

Uloženo v:
Podrobná bibliografie
Hlavní autor: Villar, Eugenio (Šéfredaktor, odpovědný redaktor)
Médium: Livre numérique
Jazyk:Anglais
Vydáno: Dordrecht : Springer Netherlands 2008.
Cham : Springer Nature
Edice:Lecture Notes in Electrical Engineering 10
On-line přístup:Accès sur la plateforme de l'éditeur
Accès sur la plateforme Istex
Accès Université d'Orléans
Accès INSA CVL
Poznámka: Archives Springer e-books (Licence nationale)
Archives Springer e-books (Licence nationale)
Autres localisations: Voir dans le Sudoc
Edition sous un autre format:• Embedded systems specification and design languages, selected contributions from FDL'07, Eugenio Villar, editor, Berlin, Springer, 2008, 1 vol. (IX-275 p.), Lecture notes in electrical engineering, 1-402-08296-7
• Embedded Systems Specification and Design Languages, Texte imprimé, 9789048117352
• Embedded Systems Specification and Design Languages, Texte imprimé, 9789048178346
Popis
Shrnutí:FDL is the most important European and, probably, worldwide forum to present research results, to exchange experiences, and to learn about new trends in the application of specification and design languages and the associated design and modeling methods and tools for complex, heterogeneous HW/SW embedded systems. FDL 07 was the tenth of a series of successful events held all around Europe. FDL 07 was held in Barcelona, the capital city of Catalonia, Spain. The high number of submissions to the conference this year allowed the Program Committee to prepare a high quality conference program. Embedded Systems Specification and Design Languages includes a selection of the most relevant contributions based on the review made by the program committee members and the quality of the contents of the presentation at the conference. In many cases, the authors have improved the original content with additional technical information. The papers cover the most important aspects in system modeling and specification, an essential area in Embedded Systems design. The objective of Embedded Systems Specification and Design Languages is to serve as a reference text for researchers and designers interested in the extension and improvement of the application of design and verification languages in the area of Embedded Systems.
Popis jednotky:Archives Springer e-books (Licence nationale)
Archives Springer e-books (Licence nationale)
ISBN:9781402082979
ISSN:1876-1119
Přístup:Accès en ligne pour les établissements français bénéficiaires des licences nationales
Accès soumis à abonnement pour tout autre établissement
Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. chttps://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017