Christa Thöne-Reineke

Christa Thöne-Reineke

Universitätsprofessorin Dr. vet. med.
在 fu-berlin.de 的电子邮件经过验证
被引用次数：6413
animal welfare animal behaviour laboratory animal sciences stroke refinement
John Derrick

John Derrick

University of Sheffield
在 sheffield.ac.uk 的电子邮件经过验证
被引用次数：4894
Formal Methods Testing Refinement Distributed Systems
Ana Cavalcanti

Ana Cavalcanti

University of York
在 cs.york.ac.uk 的电子邮件经过验证
被引用次数：4837
formal methods refinement concurrency object-orientation real time
David A. Naumann

David A. Naumann

Professor of Computer Science, Stevens Institute of Technology
在 cs.stevens.edu 的电子邮件经过验证
被引用次数：3486
Software Verification Language Based Security Refinement Programming Languages
Erika Roman

Erika Roman

Professor, Swedish University of Agricultural Sciences
在 slu.se 的电子邮件经过验证
被引用次数：3291
behavior neurobiology pharmacology refinement multivariate concentric square field test
Penny Hawkins

Penny Hawkins

Animals in Science Department, RSPCA
在 rspca.org.uk 的电子邮件经过验证
被引用次数：2710
Animal Welfare Ethical Review Three Rs Refinement
Stefan Hallerstede

Stefan Hallerstede

Associate Professor at Aarhus University Department of Engineering
在 eng.au.dk 的电子邮件经过验证
被引用次数：2530
Formal Methods Requirements Verification Refinement Concurrency
Eerke Boiten

Eerke Boiten

School of Computer Science and Informatics, De Montfort University, UK
在 dmu.ac.uk 的电子邮件经过验证
被引用次数：2269
Cyber security Privacy Formal methods Refinement
Richard Banach

Richard Banach

School of Computer Science, University of Manchester
在 cs.man.ac.uk 的电子邮件经过验证
被引用次数：2151
Formal Methods Retrenchment Refinement
Gidon Ernst

Gidon Ernst

Software and Computational Systems Lab, LMU Munich
在 lmu.de 的电子邮件经过验证
被引用次数：1009
Software Verification Formal Methods Refinement Concurrency Information Flow Control
1 - 10