Hela Guesmi, Belgacem Ben Hedia, Mathieu Jan, Simon Bliudze, Saddek Bensalem. Poster Abstract: Towards Correct Transformation: From High-Level Models to Time-Triggered Implementations. In 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Vienna, Austria, April 11-14, 2016. pages 52, IEEE Computer Society, 2016. [doi]
Abstract is missing.