Theories and experiences for real-time system development
Auteur :
Rattray, C.
Éditeur :
Rattray, C.Rus, Teodor,
ISBN :
9789810219239
Date de publication :
28 nov. 1994
Dimensions :
22,0 x 15,2 x 3,0 cm
Poids :
703 g
Langue :
Anglais
Pays d'origine :
Singapour
This text on real-time system development focuses the interplay between algebraic methodology and software technology (AMAST). It covers topics including: real-time CSP; system design using temporal logic; symbolic checking of discrete time models; and timed full LOTOS and timed LOTOS extensions.