Matches in Wikidata for { <http://www.wikidata.org/entity/Q121367804> ?p ?o ?g. }
- Q121367804 description "2018 nî lūn-bûn" @default.
- Q121367804 description "2018年の論文" @default.
- Q121367804 description "2018年学术文章" @default.
- Q121367804 description "2018年学术文章" @default.
- Q121367804 description "2018年学术文章" @default.
- Q121367804 description "2018年学术文章" @default.
- Q121367804 description "2018年学术文章" @default.
- Q121367804 description "2018年学术文章" @default.
- Q121367804 description "2018年學術文章" @default.
- Q121367804 description "2018年學術文章" @default.
- Q121367804 description "2018年學術文章" @default.
- Q121367804 description "2018年學術文章" @default.
- Q121367804 description "2018年學術文章" @default.
- Q121367804 description "2018년 논문" @default.
- Q121367804 description "article científic" @default.
- Q121367804 description "article scientific" @default.
- Q121367804 description "article scientifique" @default.
- Q121367804 description "articol științific" @default.
- Q121367804 description "articolo scientifico" @default.
- Q121367804 description "artigo científico" @default.
- Q121367804 description "artigo científico" @default.
- Q121367804 description "artigo científico" @default.
- Q121367804 description "artikel ilmiah" @default.
- Q121367804 description "artikull shkencor" @default.
- Q121367804 description "artikulong pang-agham" @default.
- Q121367804 description "artykuł naukowy" @default.
- Q121367804 description "artículo científico publicado en 2018" @default.
- Q121367804 description "artículu científicu espublizáu en 2018" @default.
- Q121367804 description "bilimsel makale" @default.
- Q121367804 description "bài báo khoa học" @default.
- Q121367804 description "naučni članak" @default.
- Q121367804 description "scienca artikolo" @default.
- Q121367804 description "scientific article published in 2018" @default.
- Q121367804 description "scientific article published in November 2018" @default.
- Q121367804 description "scientific article published in November 2018" @default.
- Q121367804 description "teaduslik artikkel" @default.
- Q121367804 description "tieteellinen artikkeli" @default.
- Q121367804 description "tudományos cikk" @default.
- Q121367804 description "vedecký článok" @default.
- Q121367804 description "vetenskaplig artikel" @default.
- Q121367804 description "videnskabelig artikel udgivet november 2018" @default.
- Q121367804 description "vitenskapelig artikkel" @default.
- Q121367804 description "vitskapeleg artikkel" @default.
- Q121367804 description "vědecký článek" @default.
- Q121367804 description "wetenschappelijk artikel" @default.
- Q121367804 description "wissenschaftlicher Artikel" @default.
- Q121367804 description "znanstveni članek" @default.
- Q121367804 description "επιστημονικό άρθρο" @default.
- Q121367804 description "мақолаи илмӣ" @default.
- Q121367804 description "наукова стаття, опублікована в листопаді 2018" @default.
- Q121367804 description "научна статия" @default.
- Q121367804 description "научная статья" @default.
- Q121367804 description "научни чланак" @default.
- Q121367804 description "научни чланак" @default.
- Q121367804 description "מאמר מדעי" @default.
- Q121367804 description "مقالة بحثية نشرت في نوفمبر 2018" @default.
- Q121367804 description "নভেম্বর ২০১৮-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q121367804 description "บทความทางวิทยาศาสตร์" @default.
- Q121367804 description "სამეცნიერო სტატია" @default.
- Q121367804 name "A Formal Approach to Constructing Secure Air Vehicle Software" @default.
- Q121367804 type Item @default.
- Q121367804 label "A Formal Approach to Constructing Secure Air Vehicle Software" @default.
- Q121367804 prefLabel "A Formal Approach to Constructing Secure Air Vehicle Software" @default.
- Q121367804 P1433 Q121367804-139FB4F6-8E72-499E-9864-C4E75257962B @default.
- Q121367804 P1476 Q121367804-0926E8D4-C938-47DF-8AD2-B2458B7B9378 @default.
- Q121367804 P2093 Q121367804-3448707F-A54A-4D3A-BEB2-DB4A467763F6 @default.
- Q121367804 P2093 Q121367804-3EFBB394-FA29-4A0B-B72A-DD4D3386BC73 @default.
- Q121367804 P2093 Q121367804-5BFC8F28-F0A1-48D2-86C6-40E61338A18E @default.
- Q121367804 P2093 Q121367804-84A6C205-78A9-4E84-942F-9FBC9023F493 @default.
- Q121367804 P2093 Q121367804-9EEA0B7B-47F9-4750-95C5-4418B705424C @default.
- Q121367804 P2093 Q121367804-BB9458DE-4E3A-47E6-9081-95083610D92B @default.
- Q121367804 P2093 Q121367804-C869A12C-DBE0-479E-8C7B-DF4AEEBE5A3B @default.
- Q121367804 P2093 Q121367804-D2EEECF6-8349-4686-B86A-48AC224A92D8 @default.
- Q121367804 P2093 Q121367804-D8943D4C-A3E4-4FE4-8B9D-C6BD31B35430 @default.
- Q121367804 P2093 Q121367804-E78AF4C2-AF33-4117-9081-2B60BEFE8E07 @default.
- Q121367804 P2093 Q121367804-E7A698C4-F8A9-4A5F-8395-FBFCF2E31678 @default.
- Q121367804 P2093 Q121367804-EA449655-0ADB-4AA3-AB4B-AF54AD7672FA @default.
- Q121367804 P304 Q121367804-BEA6239F-9C69-4799-B0B2-4930B9900BA4 @default.
- Q121367804 P31 Q121367804-09066930-FFCF-4582-9203-69CE2020514D @default.
- Q121367804 P356 Q121367804-1F436EC9-0444-420D-9D3D-F7DD6559E4F7 @default.
- Q121367804 P433 Q121367804-8C3A9658-DFCD-4F6F-A2B8-C4BE7D350D53 @default.
- Q121367804 P478 Q121367804-CD20781E-3C50-4DB6-9E4C-378A197B0EE0 @default.
- Q121367804 P577 Q121367804-054AAFA7-6C37-4434-B05F-8E1E4383EF59 @default.
- Q121367804 P356 MC.2018.2876051 @default.
- Q121367804 P1433 Q5157408 @default.
- Q121367804 P1476 "A Formal Approach to Constructing Secure Air Vehicle Software" @default.
- Q121367804 P2093 "Adam Foltzer" @default.
- Q121367804 P2093 "Andrew Gacek" @default.
- Q121367804 P2093 "Darren Cofer" @default.
- Q121367804 P2093 "Douglas Stuart" @default.
- Q121367804 P2093 "Gernot Heiser" @default.
- Q121367804 P2093 "Gerwin Klein" @default.
- Q121367804 P2093 "Ihor Kuz" @default.
- Q121367804 P2093 "John Backes" @default.
- Q121367804 P2093 "June Andronick" @default.
- Q121367804 P2093 "Lee Pike" @default.
- Q121367804 P2093 "Michael W. Whalen" @default.
- Q121367804 P2093 "Michal Podhradsky" @default.
- Q121367804 P304 "14-23" @default.
- Q121367804 P31 Q13442814 @default.