Communicating embedded systems: software and design
Éditeur :
ISTE Ltd and John Wiley & Sons Inc
ISBN :
9781848211438
Date de publication :
6 nov. 2009
Dimensions :
23,6 x 15,8 x 2,3 cm
Poids :
522 g
Langue :
Anglais
Pays d'origine :
Grande Bretagne
Formal methods are mathematically-based techniques and provide a clean framework in which to express requirements and models of the systems, taking into account discrete, stochastic and continuous (timed or hybrid) parameters with increasingly efficient tools.