Yaroslav Usenko

Yaroslav Usenko

被引用次数：948
Formal Methods in Software Engineering
Nasir Mehmood Minhas

Nasir Mehmood Minhas

School of Innovation, Design, & Engineering - Mälardalen University, Sweden
在 mdu.se 的电子邮件经过验证
被引用次数：385
Software Testing Requirement Engineering Software Process Formal Methods in Software Engineering
Mohamed Bettaz

Mohamed Bettaz

Czech Technical University in Prague
在 cvut.cz 的电子邮件经过验证
被引用次数：356
Formal Methods in Software Engineering Institution Theory Cyber-security Python for Data Science
Fatemeh Ghassemi

Fatemeh Ghassemi

University of Tehran
在 ut.ac.ir 的电子邮件经过验证
被引用次数：339
Formal methods in software engineering Protocol verification Model checking Process algebra Wireless systems
Rokan Uddin Faruqui

Rokan Uddin Faruqui

Associate Professor of Computer Science and Engineering, University of Chittagong
在 cu.ac.bd 的电子邮件经过验证
被引用次数：204
Formal Methods in Software Engineering MDE Semantic Web
Stefan Bodenmüller

Stefan Bodenmüller

Researcher, University of Augsburg, Institute for Software & Systems Engineering
在 informatik.uni-augsburg.de 的电子邮件经过验证
被引用次数：61
Formal Methods in Software Engineering
Olena Shevchenko,Олена Леонідівна Шевченко

Olena Shevchenko,Олена Леонідівна Шевченко

Associate Professor, Software department, Kharkiv National University of Radio Electronics
在 nure.ua 的电子邮件经过验证
被引用次数：28
Artificial intelligence Semantic web Formal methods in software engineering Game design Android development
Amir Eaman

Amir Eaman

University of Ottawa
在 uottawa.ca 的电子邮件经过验证
被引用次数：28
formal methods in software engineering
Afifa Nawaz

Afifa Nawaz

Lecturer of Computer Science
被引用次数：2
Formal Methods in Software Engineering
Muhammad Faizan

Muhammad Faizan

Student
被引用次数：1
Formal methods in software Engineering