Embedded Software Verification and Debugging, Fachbücher von Markus Winterholer, Djones Lettnin

Scalable Bit-precise Formal Verification of Embedded Software, Fachbücher von Nannan He

Hardware and Software, Verification and Testing, Fachbücher

Formal Verification Of Concurrent Embedded Software Traub Taschenbuch

Verification of Temporal Properties in Embedded Software, Fachbücher von Djones Vinicius Lettnin

Verification Of Temporal Properties In Embedded Software Based On

Hardware/Software Co-Design and Co-Verification, Fachbücher

Software Verification and Analysis, Fachbücher von Janusz Laski, William Stanley

Software Technologies for Embedded and Ubiquitous Systems, Fachbücher

Hardware and Software: Verification and Testing, Fachbücher von Roderick Bloem, Eli Arbel

Automated software debugging solutions, Fachbücher von Maryam Fatahi

Software Verification Based on Game Semantics and Process Algebra, Fachbücher

Hardware and Software: Verification and Testing, Fachbücher von Ofer Strichman, Rachel Tzoref-Brill

Hardware and Software: Verification and Testing, Fachbücher von Onn Shehory, João Loureno, Kerstin Eder

Verification, Model Checking, and Abstract Interpretation, Fachbücher von Neil Jones, Markus Müller-Olm

Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems, Fachbücher von Francky C...