Further processing options
Research on Formal Verification Technique for Aircraft Safety-Critical Software
Saved in:
Journal Title: | Journal of Computers |
---|---|
Authors and Corporations: | , , |
In: | Journal of Computers, 5, 2010, 8 |
Type of Resource: | E-Article |
Language: | Undetermined |
published: |
International Academy Publishing (IAP)
|
Subjects: |