Christa Thöne-Reineke

Christa Thöne-Reineke

Universitätsprofessorin Dr. vet. med.
Zweryfikowany adres z fu-berlin.de
Cytowane przez 6637
animal welfare animal behaviour laboratory animal sciences stroke refinement
Ana Cavalcanti

Ana Cavalcanti

University of York
Zweryfikowany adres z cs.york.ac.uk
Cytowane przez 5113
formal methods refinement concurrency object-orientation real time
John Derrick

John Derrick

University of Sheffield
Zweryfikowany adres z sheffield.ac.uk
Cytowane przez 4945
Formal Methods Testing Refinement Distributed Systems
David A. Naumann

David A. Naumann

Professor of Computer Science, Stevens Institute of Technology
Zweryfikowany adres z cs.stevens.edu
Cytowane przez 3606
Software Verification Language Based Security Refinement Programming Languages
Erika Roman

Erika Roman

Professor, Swedish University of Agricultural Sciences
Zweryfikowany adres z slu.se
Cytowane przez 3430
behavior neurobiology pharmacology refinement multivariate concentric square field test
Penny Hawkins

Penny Hawkins

Animals in Science Department, RSPCA
Zweryfikowany adres z rspca.org.uk
Cytowane przez 2865
Animal Welfare Ethical Review Three Rs Refinement
Stefan Hallerstede

Stefan Hallerstede

Associate Professor at Aarhus University Department of Engineering
Zweryfikowany adres z eng.au.dk
Cytowane przez 2737
Formal Methods Requirements Verification Refinement Concurrency
Eerke Boiten

Eerke Boiten

School of Computer Science and Informatics, De Montfort University, UK
Zweryfikowany adres z dmu.ac.uk
Cytowane przez 2319
Cyber security Privacy Formal methods Refinement
Richard Banach

Richard Banach

School of Computer Science, University of Manchester
Zweryfikowany adres z cs.man.ac.uk
Cytowane przez 2219
Formal Methods Retrenchment Refinement
Jose Pablo Suarez Rivero

Jose Pablo Suarez Rivero

University of las Palmas de Gran Canaria
Zweryfikowany adres z ulpgc.es
Cytowane przez 920
Meshing refinement algorithms triangulation subdivision
1 - 10