
Towards Time-triggered Component-based System Models
Author(s) -
Hela Guesmi,
Belgacem Ben Hedia,
Simon Bliudze,
Saddek Bensalem,
Jacques Combaz
Publication year - 2015
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - Uncategorized
Resource type - Conference proceedings
Subject(s) - computer science , asynchronous communication , correctness , synchronizing , atomicity , task (project management) , distributed computing , component (thermodynamics) , interrupt , process (computing) , transformation (genetics) , synchronization (alternating current) , implementation , models of communication , transmission (telecommunications) , computer network , programming language , thermodynamics , telecommunications , biochemistry , chemistry , channel (broadcasting) , database transaction , management , communication , sociology , gene , economics , physics