Formal Specification Professors in Global

Search By
Location
Location
Searching Globally
Professor
Professor Profile
Jaco Van De Pol
Aarhus University Denmark
formal verification
formal methods
software specification and verification
View Professor Profile
Professor
Professor Profile
Stefano Volpe
University of Southern Denmark Denmark
formalisation
formal models
View Professor Profile
Professor
Professor Profile
Michael Norrish
Australian National University Australia
formal semantics
formal methods
View Professor Profile
Professor
Professor Profile
Issa Traoré
University of Victoria Canada
requirements specification
formal methods
View Professor Profile
Professor
Professor Profile
Don Sannella
University of Edinburgh United Kingdom
algebraic specification
formal software development
View Professor Profile
Professor
Professor Profile
Roberto Guanciale
KTH Royal Institute of Technology Sweden
formal verification
formal methods
View Professor Profile
Professor
Professor Profile
Fabrizio Montesi
University of Southern Denmark Denmark
formal models
formal methods
View Professor Profile
Professor
Professor Profile
George Tsiknis
University of British Columbia Canada
software specification
formal proof theory
View Professor Profile
Professor
Professor Profile
Anne Haxthausen
Technical University of Denmark Denmark
formal methods
specification languages
View Professor Profile
Professor
Professor Profile
Chen-wei Wang
York University Canada
formal validation
precise documentation
View Professor Profile
Professor
Professor Profile
Ai Taniguchi
University of Toronto Canada
formal semantics
formal pragmatics
View Professor Profile
Professor
Professor Profile
Warren Hunt
University of Texas at Austin United States of America
formal methods
microprocessor specification
View Professor Profile
Professor
Professor Profile
Ken Mcmillan
University of Texas at Austin United States of America
formal methods
specification-based testing
View Professor Profile
Professor
Professor Profile
Alan Hu
University of British Columbia Canada
formal methods
automated formal verification
View Professor Profile
Professor
Professor Profile
Juergen Dingel
Queen's University Canada
formal specification
View Professor Profile
Professor
Professor Profile
Carroll Morgan
University of New South Wales Australia
formal specification
View Professor Profile
Professor
Professor Profile
Helle Hansen
University of Groningen Netherlands
formal specification
View Professor Profile
Professor
Professor Profile
Athanassios Economou
Georgia Institute of Technology United States of America
formal specification style
View Professor Profile
Professor
Professor Profile
Jessica Chen
University of Windsor Canada
formal specification verification
View Professor Profile
Professor
Professor Profile
Tianyin Xu
University of Illinois United States of America
formal specification languages
View Professor Profile
Professor
Professor Profile
Dominique Sportiche
University of California Los Angeles United States of America
formal syntax
View Professor Profile
First
Prev
Page 1 | 423 Results
Next