Embedded Systems: Design, Analysis and Verification - Inria - Institut national de recherche en sciences et technologies du numérique
Ouvrage (Y Compris Édition Critique Et Traduction) Année : 2013

Embedded Systems: Design, Analysis and Verification

Gunar Schirner
  • Fonction : Auteur
  • PersonId : 1001408
Northeastern University [Boston]
Marcelo Götz
  • Fonction : Auteur
  • PersonId : 1001401
Universidade Federal do Rio Grande do Sul [Porto Alegre]
Achim Rettberg
  • Fonction : Auteur
  • PersonId : 1001420
Carl Von Ossietzky Universität Oldenburg = Carl von Ossietzky University of Oldenburg
Mauro C. Zanella
  • Fonction : Auteur
  • PersonId : 1001421
ZF Friedrichshafen AG
Franz J. Rammig
  • Fonction : Auteur
  • PersonId : 1001422
University of Paderborn

Résumé

Book Front Matter of AICT 403

Domaines

Informatique [cs]
BookFrontmatter.pdf (174.58 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Hal Ifip  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-01466697

Soumis le : lundi 13 février 2017-16:39:49

Dernière modification le : mardi 25 avril 2023-15:04:06

Consulter le texte intégral

Dates et versions

hal-01466697 , version 1 (13-02-2017)

Licence

Paternité

Identifiants

Citer

Gunar Schirner, Marcelo Götz, Achim Rettberg, Mauro C. Zanella, Franz J. Rammig. Embedded Systems: Design, Analysis and Verification. Springer, AICT-403, 2013, IFIP Advances in Information and Communication Technology, 978-3-642-38852-1. ⟨10.1007/978-3-642-38853-8⟩. ⟨hal-01466697⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

IFIP IFIP-AICT IFIP-TC IFIP-TC10 IFIP-AICT-403 IFIP-IESS
90 Consultations
456 Téléchargements

Altmetric

Partager

More