Formal techniques in real-time and fault-tolerant systems: 4th international symposium, uppsala, sweden, september 9 - 13, 1996, proceedings: 4th: international symposium, uppsala, sweden, september 9-13, 1996 - proceedings
Auteur :
Jonsson, Bengt
ISBN :
9783540616481
Date de publication :
21 août 1996
Dimensions :
23,4 x 15,6 x 2,5 cm
Poids :
694 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
These conference proceedings contain 22 revised full papers, three invited contributions and five tools demonstrations. The papers are organized into sections on state charts, timed automata, duration calculus, case studies, scheduling, fault tolerance, specification, and verification.