Validation Of Administrative Data Professors in Global

Search By
Location
Location
Searching Globally
Professor
Professor Profile
Kerstin Eder
University of Bristol United Kingdom
validation
formal verification
View Professor Profile
Professor
Professor Profile
Denise Woit
Toronto Metropolitan University Canada
validation
software verification
View Professor Profile
Professor
Professor Profile
Lionel Briand
University of Ottawa Canada
validation
software verification
View Professor Profile
Professor
Professor Profile
Yvan Labiche
Carleton University Canada
software validation
software verification
View Professor Profile
Professor
Professor Profile
Randal Bryant
Carnegie Mellon University United States of America
formal verification
software verification
View Professor Profile
Professor
Professor Profile
David Dill
Stanford University United States of America
formal verification
software verification
hardware verification
View Professor Profile
Professor
Professor Profile
Viktor Kuncak
École Polytechnique Fédérale de Lausanne Switzerland
formal verification
system verification
View Professor Profile
Professor
Professor Profile
Andrzej Murawski
University of Oxford United Kingdom
automated verification
software verification
View Professor Profile
Professor
Professor Profile
Jürgen Giesl
RWTH Aachen University Germany
formal verification
program verification
View Professor Profile
Professor
Professor Profile
Jaco Van De Pol
Aarhus University Denmark
formal verification
software specification and verification
View Professor Profile
Professor
Professor Profile
Limin Jia
Carnegie Mellon University United States of America
formal software verification
network verification
View Professor Profile
Professor
Professor Profile
Michalis Kokologiannakis
Max Planck Institute for Software Systems Germany
software verification
automated verification testing
View Professor Profile
Professor
Professor Profile
Jakob Møller
Technical University of Denmark Denmark
data validation
View Professor Profile
Professor
Professor Profile
Shilo Mcburney
Brown University United States of America
data validation
View Professor Profile
Professor
Professor Profile
Hany Abdel-khalik
Purdue University United States of America
validation
View Professor Profile
Professor
Professor Profile
Rosemary Willatt
University College London United Kingdom
validation
View Professor Profile
Professor
Professor Profile
Kerstin Eder
University of Bristol United Kingdom
validation
View Professor Profile
Professor
Professor Profile
Joyce Schultz
University of Southern Denmark Denmark
validation
View Professor Profile
Professor
Professor Profile
Søren Christensen
Aarhus University Denmark
validation
View Professor Profile
Professor
Professor Profile
David Houngninou
Texas A&M University United States of America
validation
hardware formal verification
View Professor Profile
Professor
Professor Profile
Melanie Farlie
Monash University Australia
validation
View Professor Profile
First
Prev
Page 1 | 358 Results
Next