Conference
Asserting Functional Equivalence between C Code and SCADE Models in Code-to-Model Transformations
| Τίτλος: | Asserting Functional Equivalence between C Code and SCADE Models in Code-to-Model Transformations |
|---|---|
| Συγγραφείς: | Toennemann, Jan, Aniculăesei, Adina, Rausch, Andreas |
| Πηγή: | Proceedings of the 5th Brazilian Symposium on Systematic and Automated Software Testing. :60-68 |
| Διαθεσιμότητα: | http://dl.acm.org/doi/10.1145/3425174.3425213 |
| Βάση Δεδομένων: | ACM Full-Text Collection |
| DOI: | 10.1145/3425174.3425213 |
|---|