Eintrag weiter verarbeiten
Research on Formal Verification Technique for Aircraft Safety-Critical Software
Gespeichert in:
Zeitschriftentitel: | Journal of Computers |
---|---|
Personen und Körperschaften: | , , |
In: | Journal of Computers, 5, 2010, 8 |
Format: | E-Article |
Sprache: | Unbestimmt |
veröffentlicht: |
International Academy Publishing (IAP)
|
Schlagwörter: |
author_facet |
Yin, Yongfeng Liu, Bin Su, Duo Yin, Yongfeng Liu, Bin Su, Duo |
---|---|
author |
Yin, Yongfeng Liu, Bin Su, Duo |
spellingShingle |
Yin, Yongfeng Liu, Bin Su, Duo Journal of Computers Research on Formal Verification Technique for Aircraft Safety-Critical Software General Computer Science |
author_sort |
yin, yongfeng |
spelling |
Yin, Yongfeng Liu, Bin Su, Duo 1796-203X International Academy Publishing (IAP) General Computer Science http://dx.doi.org/10.4304/jcp.5.8.1152-1159 Research on Formal Verification Technique for Aircraft Safety-Critical Software Journal of Computers |
doi_str_mv |
10.4304/jcp.5.8.1152-1159 |
facet_avail |
Online Free |
format |
ElectronicArticle |
fullrecord |
blob:ai-49-aHR0cDovL2R4LmRvaS5vcmcvMTAuNDMwNC9qY3AuNS44LjExNTItMTE1OQ |
id |
ai-49-aHR0cDovL2R4LmRvaS5vcmcvMTAuNDMwNC9qY3AuNS44LjExNTItMTE1OQ |
institution |
DE-Gla1 DE-Zi4 DE-15 DE-Pl11 DE-Rs1 DE-105 DE-14 DE-Ch1 DE-L229 DE-D275 DE-Bn3 DE-Brt1 DE-Zwi2 DE-D161 |
imprint |
International Academy Publishing (IAP), 2010 |
imprint_str_mv |
International Academy Publishing (IAP), 2010 |
issn |
1796-203X |
issn_str_mv |
1796-203X |
language |
Undetermined |
mega_collection |
International Academy Publishing (IAP) (CrossRef) |
match_str |
yin2010researchonformalverificationtechniqueforaircraftsafetycriticalsoftware |
publishDateSort |
2010 |
publisher |
International Academy Publishing (IAP) |
recordtype |
ai |
record_format |
ai |
series |
Journal of Computers |
source_id |
49 |
title |
Research on Formal Verification Technique for Aircraft Safety-Critical Software |
title_unstemmed |
Research on Formal Verification Technique for Aircraft Safety-Critical Software |
title_full |
Research on Formal Verification Technique for Aircraft Safety-Critical Software |
title_fullStr |
Research on Formal Verification Technique for Aircraft Safety-Critical Software |
title_full_unstemmed |
Research on Formal Verification Technique for Aircraft Safety-Critical Software |
title_short |
Research on Formal Verification Technique for Aircraft Safety-Critical Software |
title_sort |
research on formal verification technique for aircraft safety-critical software |
topic |
General Computer Science |
url |
http://dx.doi.org/10.4304/jcp.5.8.1152-1159 |
publishDate |
2010 |
physical |
|
description |
|
container_issue |
8 |
container_start_page |
0 |
container_title |
Journal of Computers |
container_volume |
5 |
format_de105 |
Article, E-Article |
format_de14 |
Article, E-Article |
format_de15 |
Article, E-Article |
format_de520 |
Article, E-Article |
format_de540 |
Article, E-Article |
format_dech1 |
Article, E-Article |
format_ded117 |
Article, E-Article |
format_degla1 |
E-Article |
format_del152 |
Buch |
format_del189 |
Article, E-Article |
format_dezi4 |
Article |
format_dezwi2 |
Article, E-Article |
format_finc |
Article, E-Article |
format_nrw |
Article, E-Article |
_version_ |
1792321017265258507 |
geogr_code |
not assigned |
last_indexed |
2024-03-01T10:55:18.565Z |
geogr_code_person |
not assigned |
openURL |
url_ver=Z39.88-2004&ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fvufind.svn.sourceforge.net%3Agenerator&rft.title=Research+on+Formal+Verification+Technique+for+Aircraft+Safety-Critical+Software&rft.date=2010-08-12&genre=article&issn=1796-203X&volume=5&issue=8&jtitle=Journal+of+Computers&atitle=Research+on+Formal+Verification+Technique+for+Aircraft+Safety-Critical+Software&aulast=Su&aufirst=Duo&rft_id=info%3Adoi%2F10.4304%2Fjcp.5.8.1152-1159&rft.language%5B0%5D=und |
SOLR | |
_version_ | 1792321017265258507 |
author | Yin, Yongfeng, Liu, Bin, Su, Duo |
author_facet | Yin, Yongfeng, Liu, Bin, Su, Duo, Yin, Yongfeng, Liu, Bin, Su, Duo |
author_sort | yin, yongfeng |
container_issue | 8 |
container_start_page | 0 |
container_title | Journal of Computers |
container_volume | 5 |
description | |
doi_str_mv | 10.4304/jcp.5.8.1152-1159 |
facet_avail | Online, Free |
format | ElectronicArticle |
format_de105 | Article, E-Article |
format_de14 | Article, E-Article |
format_de15 | Article, E-Article |
format_de520 | Article, E-Article |
format_de540 | Article, E-Article |
format_dech1 | Article, E-Article |
format_ded117 | Article, E-Article |
format_degla1 | E-Article |
format_del152 | Buch |
format_del189 | Article, E-Article |
format_dezi4 | Article |
format_dezwi2 | Article, E-Article |
format_finc | Article, E-Article |
format_nrw | Article, E-Article |
geogr_code | not assigned |
geogr_code_person | not assigned |
id | ai-49-aHR0cDovL2R4LmRvaS5vcmcvMTAuNDMwNC9qY3AuNS44LjExNTItMTE1OQ |
imprint | International Academy Publishing (IAP), 2010 |
imprint_str_mv | International Academy Publishing (IAP), 2010 |
institution | DE-Gla1, DE-Zi4, DE-15, DE-Pl11, DE-Rs1, DE-105, DE-14, DE-Ch1, DE-L229, DE-D275, DE-Bn3, DE-Brt1, DE-Zwi2, DE-D161 |
issn | 1796-203X |
issn_str_mv | 1796-203X |
language | Undetermined |
last_indexed | 2024-03-01T10:55:18.565Z |
match_str | yin2010researchonformalverificationtechniqueforaircraftsafetycriticalsoftware |
mega_collection | International Academy Publishing (IAP) (CrossRef) |
physical | |
publishDate | 2010 |
publishDateSort | 2010 |
publisher | International Academy Publishing (IAP) |
record_format | ai |
recordtype | ai |
series | Journal of Computers |
source_id | 49 |
spelling | Yin, Yongfeng Liu, Bin Su, Duo 1796-203X International Academy Publishing (IAP) General Computer Science http://dx.doi.org/10.4304/jcp.5.8.1152-1159 Research on Formal Verification Technique for Aircraft Safety-Critical Software Journal of Computers |
spellingShingle | Yin, Yongfeng, Liu, Bin, Su, Duo, Journal of Computers, Research on Formal Verification Technique for Aircraft Safety-Critical Software, General Computer Science |
title | Research on Formal Verification Technique for Aircraft Safety-Critical Software |
title_full | Research on Formal Verification Technique for Aircraft Safety-Critical Software |
title_fullStr | Research on Formal Verification Technique for Aircraft Safety-Critical Software |
title_full_unstemmed | Research on Formal Verification Technique for Aircraft Safety-Critical Software |
title_short | Research on Formal Verification Technique for Aircraft Safety-Critical Software |
title_sort | research on formal verification technique for aircraft safety-critical software |
title_unstemmed | Research on Formal Verification Technique for Aircraft Safety-Critical Software |
topic | General Computer Science |
url | http://dx.doi.org/10.4304/jcp.5.8.1152-1159 |