Equation-Directed Axiomatization of Lustre Semantics to Enable Optimized Code Validation.

Saved in:

Bibliographic Details
Title:	Equation-Directed Axiomatization of Lustre Semantics to Enable Optimized Code Validation.
Authors:	BRUN, LÉLIO¹, lelio_brun@nii.ac.jp, GARION, CHRISTOPHE², garion@isae-supaero.fr, GAROCHE, PIERRE-LOÏC³, garoche@enac.fr, THIRIOUX, XAVIER², thirioux@isae-supaero.fr
Source:	ACM Transactions on Embedded Computing Systems; 2023 Suppl5s, Vol. 22, p1-24, 24p
Database:	Applied Science & Technology Source

Description
ISSN:	15399087
DOI:	10.1145/3609393