Equation-Directed Axiomatization of Lustre Semantics to Enable Optimized Code Validation.
Saved in:
| Title: | Equation-Directed Axiomatization of Lustre Semantics to Enable Optimized Code Validation. |
|---|---|
| Authors: | BRUN, LÉLIO1, lelio_brun@nii.ac.jp, GARION, CHRISTOPHE2, garion@isae-supaero.fr, GAROCHE, PIERRE-LOÏC3, garoche@enac.fr, THIRIOUX, XAVIER2, thirioux@isae-supaero.fr |
| Source: | ACM Transactions on Embedded Computing Systems; 2023 Suppl5s, Vol. 22, p1-24, 24p |
| Database: | Applied Science & Technology Source |
Be the first to leave a comment!
