zahra baatmaanghelich
Department of Computer Engineering, Science and Research Branch, Islamic Azad University, Tehran, Iran
[ 1 ] - Formal Method in Service Composition in Heath Care Systems
One of the areas with greatest needs having available information at the right moment and with high accuracy is healthcare. Right information at right time saves lives. Healthcare is a vital domain which needs high processing power for high amounts of data. Due to the critical and the special characteristics of these systems, formal methods are used for specification, description and verificati...
Co-Authors