Specification and compositional verification of real-time systems
Auteur :
Hooman, Jozef
Éditeur :
Hooman, Jozef
ISBN :
9783540549475
Date de publication :
27 nov. 1991
Dimensions :
23,4 x 15,6 x 1,3 cm
Poids :
790 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
Presents two formal methods for the specification and compositional verification of real-time systems, which include a real-time extension of temporal logic and the other based on extended Hoare triples.