Specifying message passing and time-critical systems with temporal logic
Auteur :
Koymans, Ron
Éditeur :
Koymans, Ron
ISBN :
9783540562832
Date de publication :
14 déc. 1992
Dimensions :
23,3 x 15,5 x 0,9 cm
Poids :
590 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
This monograph is concerned with the application of temporal logic to the areas of message passing and time-critical systems. The text also incorporates pure fundamental studies on temporal logic. It develops a special temporal logic for reasoning about quantitative temporal properties.