1 dataset found

We study the modeling and the o -line validation of real-time applications in uniprocessor environment, wich take explicitly the exchange of messages, resource sharing...