David Parker

David Parker

Professor of Computer Science, University of Oxford
Email yang diverifikasi di cs.ox.ac.uk
Dirujuk 17353 kali
Automated Verification Probabilistic Model Checking
Gethin Norman

Gethin Norman

Senior Lecturer of Computing Science, Glasgow University, School of Computing Science
Email yang diverifikasi di glasgow.ac.uk
Dirujuk 15861 kali
Formal Methods Probabilistic Model Checking
Lijun Zhang

Lijun Zhang

Full Professor, State Key Laboratory of Computer Science, Institute of Software Chinese
Email yang diverifikasi di ios.ac.cn
Dirujuk 2626 kali
formal method probabilistic model checking hybrid system
Xingyu Zhao

Xingyu Zhao

Assistant Professor, University of Warwick
Email yang diverifikasi di warwick.ac.uk
Dirujuk 1891 kali
Software Reliability Safe AI Bayesian Inference Probabilistic Model Checking Safety Assurance
Matthias Volk

Matthias Volk

Assistant Professor, Eindhoven University of Technology
Email yang diverifikasi di tue.nl
Dirujuk 1572 kali
Formal Methods Probabilistic Model Checking Fault Tree Analysis
Genaína Nunes Rodrigues

Genaína Nunes Rodrigues

Associate Professor of Computer Science, University of Brasilia
Email yang diverifikasi di unb.br
Dirujuk 1293 kali
Software dependability analysis probabilistic model checking self-adaptive systems goal-oriented requirements engineering
Colin Paterson

Colin Paterson

University of York
Email yang diverifikasi di york.ac.uk
Dirujuk 1124 kali
Probabilistic Model Checking Operational Processes Process Mining Control Systems Engineering
Maximilian Weininger

Maximilian Weininger

Technical University of Munich
Email yang diverifikasi di tum.de
Dirujuk 759 kali
Quantitative verification probabilistic model checking logics in computer science formal methods
Mark Timmer

Mark Timmer

Lecturer in Mathematics Education, University of Twente, The Netherlands
Email yang diverifikasi di utwente.nl
Dirujuk 691 kali
Computational Thinking Formal Methods Probabilistic Model Checking Process Algebra Model-Based Testing
Kenneth Johnson

Kenneth Johnson

Auckland University of Technology
Email yang diverifikasi di aut.ac.nz
Dirujuk 674 kali
Formal Methods Theoretical Computer Science Probabilistic Model Checking Digital Services Cloud Computing
1 - 10