Formal Verification of GP Specification based Embedded Operating System (Q130861736)
scientific article published on 18 October 2018
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Formal Verification of GP Specification based Embedded Operating System |
scientific article published on 18 October 2018 |
Statements
Formal Verification of GP Specification based Embedded Operating System (English)
Haiyong Sun
Hang Lei
Lei Qiao
Zheng Yang
18 October 2018
1-5
