Atif Mashkoor

Atif Mashkoor

Johannes Kepler University, Linz, Austria
在 jku.at 的电子邮件经过验证
被引用次数：1281
Software science Software engineering Requirements engineering Formal methods Formal validation
Gil Utard

Gil Utard

Professeur des Université en Informatique, MIS, Université de Picardie Jules Verne
在 u-picardie.fr 的电子邮件经过验证
被引用次数：675
Distributed System High Performance Computing Formal Validation Peer to Peer Systems
Muhammad Nauman

Muhammad Nauman

The Islamia University of Bahawalpur
在 iub.edu.pk 的电子邮件经过验证
被引用次数：33
Big Data Analytics Formal Verification Formal Validation Machine Learning Data Mining
Kshitij Raj

Kshitij Raj

University of Florida, Intel
在 ufl.edu 的电子邮件经过验证
被引用次数：27
Hardware Security SoC Architecture Formal Validation