Open AccessTowards Correct Transformation: From High-Level Models to Time-Triggered Implementations
Author(s) -
Hela Guesmi,
Belgacem Ben Hedia,
Simon Bliudze,
Mathieu Jan,
Saddek Bensalem
Publication year - 2016
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - computer science , implementation , scalability , real time operating system , component (thermodynamics) , model transformation , embedded system , process (computing) , transformation (genetics) , distributed computing , code generation , variety (cybernetics) , programming language , key (lock) , operating system , chemistry , consistency (knowledge bases) , artificial intelligence , physics , thermodynamics , biochemistry , gene