Systems and Software Verification, Fachbücher

Verification and Validation (software), Fachbücher

Hardware and Software: Verification and Testing, Fachbücher

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

Interactive Systems. Design, Specification, and Verification, Fachbücher

Verification and Control of Hybrid Systems, Fachbücher

Embedded Systems: Design, Analysis and Verification, Fachbücher

Specification and Verification of Multi-agent Systems, Fachbücher

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

Specification and Seamless Verification ofEmbedded Real-Time Systems, Fachbücher

Modeling, Simulation, and Verification of Stochastic Hybrid Systems, Fachbücher

Open Source Software: Quality Verification, Fachbücher

Simulation and Verification of Electronic and Biological Systems, Fachbücher von Peter Feldmann

Software, Services, and Systems, Fachbücher

Sensor Systems and Software, Fachbücher

Testing Software and Systems, Fachbücher