Verification of communication protocols in web services: model-checking service compositions
Auteur :
Sakib, Kazi / Tari, Zahir / Bertok, Peter
Éditeur :
John Wiley & Sons Inc
ISBN :
9780470905395
Date de publication :
6 déc. 2013
Dimensions :
24,3 x 16,1 x 1,7 cm
Poids :
603 g
Langue :
Anglais
Pays d'origine :
USA
In the near future, wireless sensor networks will become an integral part of our day-to-day life. To solve different sensor networking related issues, researchers have been putting various efforts and coming up with innovative ideas.