Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Softwar, Fachbücher von Fou...

Formal Description Techniques and Protocol Specification, Testing and Verification, Fachbücher von Teruo Higashino, Atsu...

Formal Description Techniques and Protocol Specification, Testing and Verification, Fachbücher von Elie Najm, Ana Cavall...

Hardware and Software, Verification and Testing, Fachbücher

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

Statistical Testing for Sufficient Control Chart Performances Based on Short Runs and Small Mixed Ba, Fachbücher von Kev...

Formal Methods and Software Engineering, Fachbücher von Mark Liu, Kazuhiro Lawford, Shaoying, Ogata

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

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

Automata based formal approach for verification of Web Service, Fachbücher von Danapaquiame N.

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

Colored Model Based Testing for Software Product Lines, Fachbücher

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and A, Fachbücher von Ber...

Statistical Modelling and Machine Learning Principles for Bioinformatics Techniques, Tools, and Appl, Fachbücher von S. ...

Predictive Software Measures Based on Formal Z Specifications, Fachbücher von Abdollah Tabareh

Software Verification Based On Game Semantics And Process Algebra A