Profili

ashwini kumar

Preverjeni e-poštni naslov na igidr.ac.in

Navedeno v 8457 virih

Formal Method CCS Cryptography ECC Cloud Computing

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

Yu-Fang Chen

Research Fellow/Professor, Academia Sinica

Preverjeni e-poštni naslov na iis.sinica.edu.tw

Navedeno v 1978 virih

Program Verification Formal Method Model Checking Theory of Computation

Jianwei Niu

Professor of Computer Science, UTSA

Preverjeni e-poštni naslov na utsa.edu

Navedeno v 1746 virih

Cyber Security Privacy Formal Method Software Engineering

Dr. Hussam Al-Hamadi

Assistant Professor | Director of the MSCS Program, University of Dubai

Preverjeni e-poštni naslov na ud.ac.ae

Navedeno v 1518 virih

Cyber Security AI IoT Formal Method

Luan Viet Nguyen

Assistant Professor, University of Dayton

Preverjeni e-poštni naslov na udayton.edu

Navedeno v 1199 virih

Cyber-physical Systems Distributed Systems Formal Method and Control Theory

Wei Ke

Macao Polytechnic University

Preverjeni e-poštni naslov na mpu.edu.mo

Navedeno v 987 virih

software engineering programming language formal method computer vision machine learning

junyan qian

School of Computer Science and Engineering, Guangxi Normal University

Preverjeni e-poštni naslov na gxnu.edu.cn

Navedeno v 847 virih

formal method software defect prediction AI safety fault-tolerance and reconfigurable VLSI …

Jianqi SHI

National Trustworthy Embedded Software Research Center, East China Normal University

Preverjeni e-poštni naslov na sei.ecnu.edu.cn

Navedeno v 751 virih

Formal Method Industry Software Binary Analysis

Vinh-Thong Ta

Edge Hill University

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

Navedeno v 727 virih

Security privacy formal method

1 - 10