DocumentCode :
3761384
Title :
[Title page i]
fYear :
2015
Abstract :
The following topics are dealt with: formal methods; software reliability; software quality; IOT; and big data.
Publisher :
ieee
Conference_Titel :
Dependable Computing and Internet of Things (DCIT), 2015 2nd International Symposium on
Type :
conf
DOI :
10.1109/DCIT.2015.1
Filename :
7434454
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=3761384
