Titre :
|
RTS'95 : le salon des solutions informatiques temps réel, 3ème édition ; actes des conférences, 11-13 janvier 1995 ; 3th edition
|
Titre original:
|
= The Real-time systems conference-exhibition
|
Auteurs :
|
SALON DES SOLUTIONS INFORMATIQUES TEMPS REEL (1998), Auteur
|
Type de document :
|
texte imprimé
|
Editeur :
|
Bessières (Haute Garonne) : Teknea, 1995
|
ISBN/ISSN/EAN :
|
978-2-87717-046-8
|
Format :
|
XIX-366 p. / ill. / 23 x 17 cm
|
Note générale :
|
Textes en français et en anglais
|
Langues:
|
Français
|
Index. décimale :
|
004.8
|
Mots-clés:
|
temps réel (informatique)
;
congrès
|
Résumé :
|
Thèmes abordés : techniques de spécification formelle, réseaux temps réel, applications réparties et distribuées, sûreté de fonctionnement et tolérance aux fautes, ordonnancement, langages et génie logiciel.
|