Embedded Systems: Design, Analysis and Verification - Embedded Systems: Design, Analysis and Verification
Books Year : 2013

Embedded Systems: Design, Analysis and Verification

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

Abstract

Book Front Matter of AICT 403

Domains

Computer Science [cs]
BookFrontmatter.pdf (174.58 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Hal Ifip  : Connect in order to contact the contributor

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

Submitted on : Monday, February 13, 2017-4:39:49 PM

Last modification on : Tuesday, April 25, 2023-3:04:06 PM

Consult the full text

Dates and versions

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

Licence

Attribution

Identifiers

Cite

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⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

IFIP IFIP-AICT IFIP-TC IFIP-TC10 IFIP-AICT-403 IFIP-IESS
90 View
456 Download

Altmetric

Share

More