Poster Abstract: Towards Correct Transformation: From High-Level Models to Time-Triggered Implementations

Article Details
Title:	Poster Abstract: Towards Correct Transformation: From High-Level Models to Time-Triggered Implementations
Article URLs:	https://doi.org/10.1109/RTAS.2016.7461354 http://doi.ieeecomputersociety.org/10.1109/RTAS.2016.7461354
Alternative Article URLs:
Authors:	Hela Guesmi	CEA, LIST
	Belgacem Ben Hedia	CEA, LIST
	Mathieu Jan	CEA, LIST
	Simon Bliudze	EPFL, IC IIF RiSD
	Saddek Bensalem	Verimag
Sharing:	Unknown
Verification:	Authors have not verified information
Artifact Evaluation Badge:	none
Artifact URLs:
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key:	conf/rtas/GuesmiHJBB16
Author Comments:

IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2016