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: | Winterholer, Markus |
Nakladatel: | Springer, Berlin |
Rok vydání: | 2017 |
Jazyk : | Angličtina |
Vazba: | Hardback |
Počet stran: | 208 |
Mohlo by se vám také líbit..
-
Windenergie
Jarass, Lorenz
-
Semiconductor Power Devices
Lutz, Josef
-
Handbuch Regenerative Energietechnik
Wesselak, Viktor
-
Handbuch Elektrotechnik
Plaßmann, Wilfried
-
Bussysteme in der Fahrzeugtechnik
Zimmermann, Werner
-
Grundlagen der Elektrotechnik und Ele...
Paul, Steffen
-
Aufgabensammlung zur Elektrotechnik u...
Stiny, Leonhard
-
Drahtlose ZigBee-Netzwerke
Krause, Markus
-
Signale - Prozesse - Systeme, m. DVD-ROM
Karrenberg, Ulrich
-
Layoutsynthese elektronischer Schaltu...
Lienig, Jens
-
Herausforderung Utility 4.0
Doleski, Oliver D.
-
Windkraftanlagen
Hau, Erich
-
Elektronik
Zastrow, Dieter
-
Elektrotechnik
Zastrow, Dieter
-
Keine Panik vor Elektrotechnik!
Tieste, Karl-Dieter
-
Plasmonics
Maier, Stefan A.