|
|||||
|
|
Service Availability in Concurrent Systems Part II: Analysis and Case Studies Using HSIP |
|
| Authors: | Fallah, Mehran S. Sharafat, Ahmad R. |
| Affiliation: | 1 Department of IT and Computer Engineering, Amirkabir University of Technology (Tehran Polytechnic), Tehran, Iran 2 Department of Electrical and Computer Engineering, Tarbiat Modares University, Tehran, Iran |
| Abstract: | |
| Keywords: | decidability non-deterministic systems NP-completeness service availability |
| 本文献已被 Oxford 等数据库收录！ | |