Responsables : Elie Najm, Dominique Seret ; 7 permanents
P.Bellot, K.Chen, E.Najm, D.Seret, A.Serhrouchni, N.Simoni, B.Joachim
Mots clé :
- conception, spécification de protocoles rapides
- applications transactionnelles, applications multimedia
- temps réel, synchronisation et QoS
- contraintes temporelles, ordonnancement
- logique linéaire et preuve de programmes
Page créée par Jean-Pierre Tubach
Dernière mise à jour : Avril 96