Conference
A Coverage Criterion for Continuous Dynamics in Hybrid Model-Based Testing
| Τίτλος: | A Coverage Criterion for Continuous Dynamics in Hybrid Model-Based Testing |
|---|---|
| Συγγραφείς: | Goucem, Salsabil, Boukala, Mohand Cherif, Bendjenna, Hakim |
| Πηγή: | 2025 International Conference on Recent Advances in Mathematics and Informatics (ICRAMI) Recent Advances in Mathematics and Informatics (ICRAMI), 2025 International Conference on. :1-6 Nov, 2025 |
| Relation: | 2025 International Conference on Recent Advances in Mathematics and Informatics (ICRAMI) |
| Βάση Δεδομένων: | IEEE Xplore Digital Library |
| ISBN: | 9798331563875 9798331563882 |
|---|---|
| DOI: | 10.1109/ICRAMI64946.2025.11472771 |