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

Verification of Temporal Properties in Embedded Software, Fachbücher

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 Based On

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

Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems, 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

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

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