文章基本信息
- 标题：Assessment of Health Monitoring System Using SDL Formal Method
- 作者：Anandi Giridharan ; Pallapa Venkataram
- 期刊名称：International Journal of Computer Networks & Communications
- 印刷版ISSN：0975-2293
- 电子版ISSN：0974-9322
- 出版年度：2015
- 卷号：7
- 期号：5
- 出版社：Academy & Industry Research Collaboration Center (AIRCC)
Loading...
