Hồ sơ

Luca de Alfaro

Professor, Computer Science and Engineering, UC Santa Cruz

Email được xác minh tại alumni.stanford.edu

Trích dẫn 13100 bài viết

Data Science Game Theory System Verification

Rance Cleaveland

Department of Computer Science, University of Maryland

Email được xác minh tại cs.umd.edu

Trích dẫn 10774 bài viết

Formal methods system modeling system verification software testing

Armando Tacchella

Professor, Information Processing Systems, University of Genoa

Email được xác minh tại unige.it

Trích dẫn 6933 bài viết

Artificial Intelligence Automated Reasoning System Verification

Kokichi FUTATSUGI

Professor of Computer Science, JAIST

Email được xác minh tại jaist.ac.jp

Trích dẫn 5686 bài viết

Formal Methods Software Engineering System Verification

Fu SONG

State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of …

Email được xác minh tại ios.ac.cn

Trích dẫn 1961 bài viết

model checking system verification program analysis computer security

David Safranek

assistant professor, Masaryk university, Faculty of informatics

Email được xác minh tại safranek.cz

Trích dẫn 1363 bài viết

system verification systems biology parameter synthesis

Ajay Chhokra

Siemens Technology

Email được xác minh tại siemens.com

Trích dẫn 363 bài viết

Cyber Physical Systems Fault Diagnosis System Verification Fog & Edge Computing Resource Scheduling

Jagannath Aghav

Professor, Computer Engineering and IT, College of Engineering Pune India

Email được xác minh tại coep.ac.in

Trích dẫn 299 bài viết

System Verification Data Science and Machine Learning

saeid jamili

PhD student at Sapienza University di Roma

Trích dẫn 122 bài viết

Digital and Analog circuit design Digital signal processing System verification Machine learning

Reza Iraji

University of Colorado Boulder

Email được xác minh tại colorado.edu

Trích dẫn 117 bài viết

System Verification Cyber-physical systems Hybrid systems Robotics Artificial Intelligence

1 - 10