|
|||||
|
|
Extended state identification and verification using a model checker |
|
| Affiliation: | 1. Department of Computer Science, Bahria University, Islamabad, Pakistan;2. Cyber Reconnaissance and combat (CRC) Lab, Bahria University, Islamabad, Pakistan;3. Department of Embedded Systems Engineering, Incheon National University, South Korea |
| Abstract: | |
| Keywords: | |
| 本文献已被 ScienceDirect 等数据库收录！ | |