Livres sur le sujet « Embedded software design and verification »
Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres
Consultez les 50 meilleurs livres pour votre recherche sur le sujet « Embedded software design and verification ».
À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.
Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.
Parcourez les livres sur diverses disciplines et organisez correctement votre bibliographie.
Samar, Abdi, Gerstlauer Andreas 1970-, Schirner Gunar et SpringerLink (Online service), dir. Embedded System Design : Modeling, Synthesis and Verification. Boston, MA : Springer-Verlag US, 2009.
Trouver le texte intégralCo-verification of hardware and software for ARM SoC design. Burlington, MA : Elsevier Newnes, 2005.
Trouver le texte intégralThoen, Filip. Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems. Boston, MA : Springer US, 2000.
Trouver le texte intégralSchirner, Gunar. Embedded Systems : Design, Analysis and Verification : 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013. Proceedings. Berlin, Heidelberg : Springer Berlin Heidelberg, 2013.
Trouver le texte intégralLettnin, Djones, et Markus Winterholer, dir. Embedded Software Verification and Debugging. New York, NY : Springer New York, 2017. http://dx.doi.org/10.1007/978-1-4614-2266-2.
Texte intégralBeningo, Jacob. Embedded Software Design. Berkeley, CA : Apress, 2022. http://dx.doi.org/10.1007/978-1-4842-8279-3.
Texte intégralRichard, Zurawski, dir. Embedded systems handbook : Embedded systems design and verification. 2e éd. Boca Raton, FL : Taylor & Francis Group, 2009.
Trouver le texte intégralSchirner, Gunar, Marcelo Götz, Achim Rettberg, Mauro C. Zanella et Franz J. Rammig, dir. Embedded Systems : Design, Analysis and Verification. Berlin, Heidelberg : Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-38853-8.
Texte intégralHsiung, Pao-Ann. Reconfigurable system design and verification. Boca Raton, Fla : CRC Press, 2009.
Trouver le texte intégralSridar, T. Designing embedded communications software. San Francisco, CA : CMP Books, 2003.
Trouver le texte intégralBalarin, Felice, Massimiliano Chiodo, Paolo Giusto, Harry Hsieh, Attila Jurecska, Luciano Lavagno, Claudio Passerone et al. Hardware-Software Co-Design of Embedded Systems. Boston, MA : Springer US, 1997. http://dx.doi.org/10.1007/978-1-4615-6127-9.
Texte intégralBergé, Jean-Michel. Hardware/Software Co-Design and Co-Verification. Boston, MA : Springer US, 1997.
Trouver le texte intégralBergé, Jean-Michel, Oz Levia et Jacques Rouillard, dir. Hardware/Software Co-Design and Co-Verification. Boston, MA : Springer US, 1997. http://dx.doi.org/10.1007/978-1-4757-2629-9.
Texte intégralJean-Michel, Bergé, Levia Oz et Rouillard Jacques, dir. Hardware/software co-design and co-verification. Boston : Kluwer Academic Publishers, 1997.
Trouver le texte intégralEmbedded systems and software validation. Burlington, MA : Elsevier Morgan Kaufmann, 2009.
Trouver le texte intégralEmbedded systems hardware for software engineers. New York : McGraw-Hill Companies, 2012.
Trouver le texte intégralservice), SpringerLink (Online, dir. Embedded System Design : Embedded Systems Foundations of Cyber-Physical Systems. Dordrecht : Springer Science+Business Media B.V., 2011.
Trouver le texte intégralBräunl, Thomas. Embedded Robotics : Mobile Robot Design and Applications with Embedded Systems. Berlin, Heidelberg : Springer Berlin Heidelberg, 2003.
Trouver le texte intégralMorshed, Bashir I. Embedded Systems – A Hardware-Software Co-Design Approach. Cham : Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-66808-2.
Texte intégralClaude, Jard, et Roux Olivier H, dir. Communicating embedded systems : Software and design : formal methods. Hoboken, NJ : ISTE Ltd/John Wiley and Sons, 2009.
Trouver le texte intégralEmbedded and networking systems : Design, software, and implementation. Boca Raton : CRC Press, Taylor & Francis Group, 2014.
Trouver le texte intégralClaude, Jard, et Roux Olivier H, dir. Communicating embedded systems : Software and design : formal methods. Hoboken, NJ : ISTE Ltd/John Wiley and Sons, 2009.
Trouver le texte intégralTony, Givargis, dir. Embedded system design : A unified hardware/software introduction. New York : Wiley, 2002.
Trouver le texte intégralClaude, Jard, et Roux Olivier H, dir. Communicating embedded systems : Software and design : formal methods. Hoboken, NJ : ISTE Ltd/John Wiley and Sons, 2009.
Trouver le texte intégralservice), SpringerLink (Online, dir. Open Verification Methodology Cookbook. New York, NY : Mentor Graphics Corporation, 2009.
Trouver le texte intégralservice), SpringerLink (Online, dir. Embedded Robotics : Mobile Robot Design and Applications with Embedded Systems. 3e éd. Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008.
Trouver le texte intégralRamesh, S., et Prahladavaradan Sampath, dir. Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems. Dordrecht : Springer Netherlands, 2007. http://dx.doi.org/10.1007/978-1-4020-6254-4.
Texte intégralH, Packard Michael, Ziemianski Tom et United States. National Aeronautics and Space Administration., dir. Software design improvements. [Washington, D.C : National Aeronautics and Space Administration, 1997.
Trouver le texte intégralLi, Yau-Tsun Steven. Performance Analysis of Real-Time Embedded Software. Boston, MA : Springer US, 1999.
Trouver le texte intégralSeppänen, Veikko. Acquisition and reuse of knowledge to design embedded software. Espoo, Finland : Technical Research Centre of Finland, 1990.
Trouver le texte intégralKarakehayov, Zdravko. Embedded systems design with 8051 microcontrollers : Hardware and software. New York : Marcel Dekker, 1999.
Trouver le texte intégralWolf, Fabian. Behavioral Intervals in Embedded Software : Timing and Power Analysis of Embedded Real-Time Software Processes. Boston, MA : Springer US, 2002.
Trouver le texte intégralApt, Krzysztof R. Verification of sequential and concurrent programs. 3e éd. Dordrecht : Springer, 2009.
Trouver le texte intégralStrehl, Karsten. Symbolic methods applied to formal verification and synthesis in embedded systems design. Aachen : Shaker Verlag, 2000.
Trouver le texte intégralKundu, Sudipta. High-Level Verification : Methods and Tools for Verification of System-Level Designs. New York, NY : Springer Science+Business Media, LLC, 2011.
Trouver le texte intégralApt, Krzysztof R. Verification of Sequential and Concurrent Programs. New York, NY : Springer New York, 1991.
Trouver le texte intégralNiemann, Ralf. Hardware/software co-design for data flow dominated embedded systems. Boston : Kluwer Academic Publishers, 1998.
Trouver le texte intégralApt, Krzysztof R. Verification of Sequential and Concurrent Programs. New York, NY : Springer New York, 1997.
Trouver le texte intégralPopovici, Katalin, Frédéric Rousseau, Ahmed A. Jerraya et Marilyn Wolf. Embedded Software Design and Programming of Multiprocessor System-on-Chip. New York, NY : Springer New York, 2010. http://dx.doi.org/10.1007/978-1-4419-5567-8.
Texte intégralNiemann, Ralf. Hardware/Software Co-Design for Data Flow Dominated Embedded Systems. Boston, MA : Springer US, 1998. http://dx.doi.org/10.1007/978-1-4757-2803-3.
Texte intégralAndrews, Jason. Co-Verification of Hardware and Software for ARM SoC Design. Elsevier Science & Technology Books, 2004.
Trouver le texte intégralEmbedded Systems Design Analysis and Verification IFIP Advances in Information and Communication Technology. Springer-Verlag Berlin and Heidelberg GmbH &, 2013.
Trouver le texte intégralReconfigurable System Design and Verification. CRC, 2009.
Trouver le texte intégralReconfigurable System Design and Verification. CRC, 2009.
Trouver le texte intégralRammig, Franz J., Achim Rettberg, Gunar Schirner, Mauro C. Zanella et Marcelo Götz. Embedded Systems : Design, Analysis and Verification : 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013, Proceedings. Springer Berlin / Heidelberg, 2015.
Trouver le texte intégralRettberg, Achim, Gunar Schirner et Marcelo Götz. Embedded Systems : Design, Analysis and Verification : 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013, Proceedings. Springer, 2013.
Trouver le texte intégralSampath, P., et S. Ramesh. Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems : Proceedings of the GM R&d Workshop, Bangalore, India, January 2007. Springer London, Limited, 2007.
Trouver le texte intégralSampath, P., et S. Ramesh. Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems : Proceedings of the GM R&D Workshop, Bangalore, India, January 2007. Springer, 2010.
Trouver le texte intégralLettnin, Djones, et Markus Winterholer. Embedded Software Verification and Debugging. Springer, 2018.
Trouver le texte intégralLettnin, Djones, et Markus Winterholer. Embedded Software Verification and Debugging. Markus Winterholer, 2017.
Trouver le texte intégral