Modeling and verification of real-time systems: formalisms and software tools
Éditeur :
ISTE Ltd and John Wiley & Sons Inc
ISBN :
9781848210134
Date de publication :
10 mars 2008
Dimensions :
24,1 x 16,0 x 2,8 cm
Poids :
721 g
Langue :
Anglais
Pays d'origine :
Grande Bretagne
Topics addressed include mathematical models of real-time systems and associated formal verification techniques such as model checking, probabilistic modeling and verification, programming and description languages, and validation approaches based on testing.