Profili

David Parker

Professor of Computer Science, University of Oxford

Preverjeni e-poštni naslov na cs.ox.ac.uk

Navedeno v 17356 virih

Automated Verification Probabilistic Model Checking

Gethin Norman

Senior Lecturer of Computing Science, Glasgow University, School of Computing Science

Preverjeni e-poštni naslov na glasgow.ac.uk

Navedeno v 15864 virih

Formal Methods Probabilistic Model Checking

Lijun Zhang

Full Professor, State Key Laboratory of Computer Science, Institute of Software Chinese

Preverjeni e-poštni naslov na ios.ac.cn

Navedeno v 2627 virih

formal method probabilistic model checking hybrid system

Xingyu Zhao

Assistant Professor, University of Warwick

Preverjeni e-poštni naslov na warwick.ac.uk

Navedeno v 1894 virih

Software Reliability Safe AI Bayesian Inference Probabilistic Model Checking Safety Assurance

Matthias Volk

Assistant Professor, Eindhoven University of Technology

Preverjeni e-poštni naslov na tue.nl

Navedeno v 1572 virih

Formal Methods Probabilistic Model Checking Fault Tree Analysis

Genaína Nunes Rodrigues

Associate Professor of Computer Science, University of Brasilia

Preverjeni e-poštni naslov na unb.br

Navedeno v 1295 virih

Software dependability analysis probabilistic model checking self-adaptive systems goal-oriented requirements engineering

Colin Paterson

University of York

Preverjeni e-poštni naslov na york.ac.uk

Navedeno v 1129 virih

Probabilistic Model Checking Operational Processes Process Mining Control Systems Engineering

Maximilian Weininger

Technical University of Munich

Preverjeni e-poštni naslov na tum.de

Navedeno v 759 virih

Quantitative verification probabilistic model checking logics in computer science formal methods

Mark Timmer

Lecturer in Mathematics Education, University of Twente, The Netherlands

Preverjeni e-poštni naslov na utwente.nl

Navedeno v 691 virih

Computational Thinking Formal Methods Probabilistic Model Checking Process Algebra Model-Based Testing

Kenneth Johnson

Auckland University of Technology

Preverjeni e-poštni naslov na aut.ac.nz

Navedeno v 675 virih

Formal Methods Theoretical Computer Science Probabilistic Model Checking Digital Services Cloud Computing

1 - 10