Embedded software verification and debugging

Main
Engineering
Embedded software verification and...

Embedded software verification and debugging

Lettnin, Djones, Winterholer, Markus

0 / 0

Որքա՞ն է ձեզ դուր եկել այս գիրքը:

Ինչպիսի՞ն է բեռնված ֆայլի որակը:

Բեռնեք գիրքը` գնահատելու դրա որակը

Ինչպիսի՞ն է բեռնված ֆայլերի որակը:

Կատեգորիաներ:

Տարի:

2017

Հրատարակչություն:

Springer

Լեզու:

english

ISBN 10:

1461422663

ISBN 13:

9781461422662

Սերիաներ:

Embedded systems (Springer (Firm))

Ֆայլ:

PDF, 8.81 MB

IPFS:

,

english, 2017

Կարդալ Առցանց

Ներբեռնել (pdf, 8.81 MB)

Փոխարկումը դեպի կատարվում է

Փոխարկումը դեպի ձախողվել է

Ձեզ կարող է հետաքրքրել

Bart Broekman, Edwin Notenboom — Testing Embedded Software

Alessandro Del Sole — WPF Debugging and Performance Succinctly

Milan Saini, Xilinx — Seamless Co-Verification Accelerates Time to Market

Thorstenotker G. — The Developer's Guide to Debugging 2008

Diomidis Spinellis — Effective Debugging 66 Specific Ways to Debug Software and Systems

Cantu M. — Debugging Delphi programs

Arnold S. Berger — Debugging Embedded and Real-Time Systems

Per Mellstrand, Bjorn Stahl — Systemic Software Debugging

Jason Andrews — Co-Verification of Hardware and Software for ARM SoC Design

Thorsten Grötker, Ulrich Holtmann, Holger Keding, Markus Wloka — The developer's guide to debugging

Thorsten Grötker; et al — The developer's guide to debugging

Jason R Andrews — Co-verification of hardware and software for ARM SoC design

Markus Winterholer, Djones Lettnin — Embedded Software Verification and Debugging (Embedded Systems)

Djones Lettnin; Markus Winterholer — Embedded Software Verification and Debugging

Shai Almog — Practical Debugging at Scale

Christian Colombo, Martin Leucker — Runtime Verification: 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings

Bernd Finkbeiner, Leonardo Mariani — Runtime Verification: 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings

Jyotirmoy Deshmukh, Dejan Ničković — Runtime Verification: 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, Proceedings

Christian Colombo, Gordon J. Pace — Runtime Verification: A Hands-On Approach in Java

Borzoo Bonakdarpour, Scott A. Smolka (eds.) — Runtime Verification: 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings

Ezio Bartocci, Rupak Majumdar (eds.) — Runtime Verification: 6th International Conference, RV 2015 Vienna, Austria, September 22–25, 2015. Proceedings

Ezio Bartocci,Yliès Falcone (eds.) — Lectures on Runtime Verification: Introductory and Advanced Topics

Bartocci, Ezio.;Falcone, Yliès — Lectures on Runtime Verification: Introductory and Advanced Topics

Cindy Eisner (auth.), Oleg Sokolsky, Serdar Taşıran (eds.) — Runtime Verification: 7th International Workshop, RV 2007, Vancover [Vancouver], Canada, March 13, 2007, Revised Selected Papers

Jean Goubault-Larrecq, Julien Olivain (auth.), Martin Leucker (eds.) — Runtime Verification: 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers

Chris Ackermann, Rance Cleaveland, Samuel Huang, Arnab Ray, Charles Shelton (auth.), Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Roşu, Oleg Sokolsky, Nikolai Tillmann (eds.) — Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

Howard Barringer, Klaus Havelund (auth.), Sarfraz Khurshid, Koushik Sen (eds.) — Runtime Verification: Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers

John Erickson, Stephen Freund, Madanlal Musuvathi (auth.), Shaz Qadeer, Serdar Tasiran (eds.) — Runtime Verification: Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers

Frank Rogin, Rolf Drechsler (auth.) — Debugging at the Electronic System Level

Mari Takahashi, The Son Le, Shinya Maenosono — The Developer's Guide to Debugging

Հիմնական արտահայտություններ