Ucebnice.cz Odborná • naučnáTechnické vědyElektrotechnika • energetika
Termín obdržení zásilky
Česká pošta Středa 25.03
PPL Středa 25.03
Osobní odběr Čtvrtek 26.03
Termíny jsou pouze orientační a mohou se lišit podle zvoleného typu platby. O Průběhu zásilky Vás budeme informovat e-mailem.
Při nákupu většího množství produktů negarantujeme dodání do zobrazeného data

Embedded Software Verification and Debugging

Embedded Software Verification and Debugging
15 %

2748  Kč 3 236 Kč

Sleva až 70% u třetiny knih
An Overview about Debugging and Verification Techniques for Embedded Software.- Embedded Software Debug in Simulation and Emulation Environments for Interface IP.- The Use of Dynamic Temporal Assertions for Debugging.- Automated Reproduction and Analysis of Bugs in Embedded Software.- Model-Based Debugging of Embedded Software Systems.- A Mechanism for Monitoring Driver-Device Communication.- Model Checking Embedded C Software using k-Induction and Invariants.- Scalable and Optimized Hybrid Verification of Embedded Software.-
Autor:
Nakladatel: Springer, Berlin
Rok vydání: 2017
Jazyk : Angličtina
Vazba: Hardback
Počet stran: 208
Mohlo by se vám také líbit..