Rosemary Monahan

Rosemary Monahan

National Univeristy of Ireland
Preverjeni e-poštni naslov na mu.ie
Navedeno v 896 virih
Formal Methods Verification Specification
Rungsinee Phongpradist

Rungsinee Phongpradist

Faculty of Pharmacy, Chiang Mai University, THAILAND
Preverjeni e-poštni naslov na cmu.ac.th
Navedeno v 307 virih
Pharmaceutical analysis Specification Method validation
Dr. Florian Bock

Dr. Florian Bock

Friedrich-Alexander-Universität Erlangen-Nürnberg
Preverjeni e-poštni naslov na fau.de
Navedeno v 253 virih
domain specific languages software engineering traffic scenarios specification
Hao Wu

Hao Wu

Maynooth University
Preverjeni e-poštni naslov na cs.nuim.ie
Navedeno v 213 virih
Formal Methods SAT/SMT Specification Programming Languages Model-Driven Engineering
John Gelder

John Gelder

Lecturer in Construction, University of South Australia
Preverjeni e-poštni naslov na unisa.edu.au
Navedeno v 186 virih
Specification Classification BIM Documentation Sustainability
Hartmut Lackner

Hartmut Lackner

Head of MES Test Center
Preverjeni e-poštni naslov na informatik.hu-berlin.de
Navedeno v 160 virih
Software Quality Test Verification Specification
Hendrik Kausch

Hendrik Kausch

RWTH Aachen University
Preverjeni e-poštni naslov na se-rwth.de
Navedeno v 85 virih
formal methods theorem proving specification verification distributed systems
Sophie Lathouwers

Sophie Lathouwers

TNO
Preverjeni e-poštni naslov na utwente.nl
Navedeno v 35 virih
Formal verification Software verification Deductive verification Annotations Specification