در حال بارکردن…
سیستم در حال حاضر قادر به انجام عملکرد نیست. بعداً دوباره امتحان کنید.
نقلقولها در سال
نقلقول تکراری
مقالات زیر در Scholar ادغام شدهاند.
نقلقولهای ترکیبی
آنها تنها برای مقاله اول حساب میشود.
نقلقولهای ادغام شده
این تعداد «نقل شده» شامل نقلقول به مقالات زیر در Scholar است. آنهایی که با
*
مشخص شدهاند ممکن است از مقاله موجود در نمایه متفاوت باشند.
افزودن نویسندههای همکار
نویسندگان مشترک
دنبال کردن
مقالههای جدید از این نویسنده
نقلقولهای جدید از این نویسنده
مقالههای جدید مرتبط با تحقیق این نویسنده
نشانی ایمیل برای دریافت بهروزرسانیها
تمام
نمایه من
کتابخانه من
معیارها
هشدارها
تنظیمات
ورود
ورود
دریافت نمایه من
نقل شده توسط
همهٔ موارد
از 2020
نقلقولها
15
12
شاخص h
1
1
شاخص i10
1
1
0
4
2
2018
2019
2020
2021
2022
2023
2024
2025
2
1
3
1
4
2
2
دنبال کردن
Nassim Benharrat
CentraleSupelec
ایمیل تأییدشدهای ندارید
Model-based testing
Distributed testing
Constraint Satisfaction Problem
Constraint-based testing.
مقالهها
نقل شده توسط
عنوان
مرتب کردن
بهترتیب نقل قولها
بهترتیب سال
بهترتیب عنوان
نقل شده توسط
نقل شده توسط
سال
Constraint-based oracles for timed distributed systems
N Benharrat, C Gaston, RM Hierons, A Lapitre, P Le Gall
IFIP International Conference on Testing Software and Systems, 276-292
, 2017
15
2017
Model-Based Testing of Timed Distributed Systems: A Constraint-Based Approach for Solving the Oracle Problem
N Benharrat
Université Paris-Saclay (ComUE)
, 2018
2018
سیستم در حال حاضر قادر به انجام عملکرد نیست. بعداً دوباره امتحان کنید.
مقالهها 1–2
بیشتر ببینید
حریم خصوصی
شرایط
راهنما
درباره Scholar
راهنمای جستجو
