تحميل...
Automated Generation of Consistent Graph Models with First-Order Logic Theorem Provers
The automated generation of graph models has become an enabler in several testing scenarios, including the testing of modeling environments used in the design of critical systems, or the synthesis of test contexts for autonomous vehicles. Those approaches rely on the automated construction of consis...
محفوظ في:
| الحاوية / القاعدة: | Fundamental Approaches to Software Engineering |
|---|---|
| المؤلفون الرئيسيون: | , , |
| التنسيق: | Artigo |
| اللغة: | Inglês |
| منشور في: |
2020
|
| الموضوعات: | |
| الوصول للمادة أونلاين: | https://ncbi.nlm.nih.gov/pmc/articles/PMC7418127/ https://ncbi.nlm.nih.govhttp://dx.doi.org/10.1007/978-3-030-45234-6_22 |
| الوسوم: |
إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|