Matches in Wikidata for { <http://www.wikidata.org/entity/Q120984482> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- Q120984482 description "2023 nî lūn-bûn" @default.
- Q120984482 description "2023年の論文" @default.
- Q120984482 description "2023年学术文章" @default.
- Q120984482 description "2023年学术文章" @default.
- Q120984482 description "2023年学术文章" @default.
- Q120984482 description "2023年学术文章" @default.
- Q120984482 description "2023年学术文章" @default.
- Q120984482 description "2023年学术文章" @default.
- Q120984482 description "2023年學術文章" @default.
- Q120984482 description "2023年學術文章" @default.
- Q120984482 description "2023年學術文章" @default.
- Q120984482 description "2023年學術文章" @default.
- Q120984482 description "2023年學術文章" @default.
- Q120984482 description "2023년 논문" @default.
- Q120984482 description "article científic" @default.
- Q120984482 description "article scientific" @default.
- Q120984482 description "article scientifique publié en 2023" @default.
- Q120984482 description "articol științific" @default.
- Q120984482 description "articolo scientifico" @default.
- Q120984482 description "artigo científico" @default.
- Q120984482 description "artigo científico" @default.
- Q120984482 description "artigo científico" @default.
- Q120984482 description "artikel ilmiah" @default.
- Q120984482 description "artikull shkencor" @default.
- Q120984482 description "artikulong pang-agham" @default.
- Q120984482 description "artykuł naukowy" @default.
- Q120984482 description "artículo científico publicado en 2023" @default.
- Q120984482 description "artículu científicu espublizáu en 2023" @default.
- Q120984482 description "bilimsel makale" @default.
- Q120984482 description "bài báo khoa học" @default.
- Q120984482 description "naučni članak" @default.
- Q120984482 description "scienca artikolo" @default.
- Q120984482 description "scientific article published in 2023" @default.
- Q120984482 description "scientific article published on 25 May 2023" @default.
- Q120984482 description "scientific article published on 25 May 2023" @default.
- Q120984482 description "teaduslik artikkel" @default.
- Q120984482 description "tieteellinen artikkeli" @default.
- Q120984482 description "tudományos cikk" @default.
- Q120984482 description "vedecký článok" @default.
- Q120984482 description "vetenskaplig artikel" @default.
- Q120984482 description "videnskabelig artikel udgivet 25. maj 2023" @default.
- Q120984482 description "vitenskapelig artikkel" @default.
- Q120984482 description "vitskapeleg artikkel" @default.
- Q120984482 description "vědecký článek" @default.
- Q120984482 description "wetenschappelijk artikel" @default.
- Q120984482 description "wissenschaftlicher Artikel" @default.
- Q120984482 description "znanstveni članek" @default.
- Q120984482 description "επιστημονικό άρθρο" @default.
- Q120984482 description "мақолаи илмӣ" @default.
- Q120984482 description "наукова стаття, опублікована в травні 2023" @default.
- Q120984482 description "научна статия" @default.
- Q120984482 description "научная статья" @default.
- Q120984482 description "научни чланак" @default.
- Q120984482 description "научни чланак" @default.
- Q120984482 description "מאמר מדעי" @default.
- Q120984482 description "مقالة بحثية نشرت في 25 مايو 2023" @default.
- Q120984482 description "২৫ মে ২০২৩-এ প্রকাশিত বৈজ্ঞানিক নিবন্ধ" @default.
- Q120984482 description "บทความทางวิทยาศาสตร์" @default.
- Q120984482 description "სამეცნიერო სტატია" @default.
- Q120984482 name "Formal verification process of the compliance of a multicore AUTOSAR OS" @default.
- Q120984482 type Item @default.
- Q120984482 label "Formal verification process of the compliance of a multicore AUTOSAR OS" @default.
- Q120984482 prefLabel "Formal verification process of the compliance of a multicore AUTOSAR OS" @default.
- Q120984482 P1433 Q120984482-ADF86203-A5BA-43C7-B119-BEA7CD8461D7 @default.
- Q120984482 P1476 Q120984482-ACE2FC19-DB2E-4374-9319-689FA24ACD22 @default.
- Q120984482 P2093 Q120984482-15538F3A-0D84-4E18-9818-F2E90CDD3024 @default.
- Q120984482 P2093 Q120984482-4F4E7942-2C60-4A0A-937D-5ED8F59CAD1A @default.
- Q120984482 P2093 Q120984482-BB27E34D-FBBD-40D5-82EE-40826E997024 @default.
- Q120984482 P304 Q120984482-3710FD3D-DE99-49BC-BF7D-D7C7ED423A7C @default.
- Q120984482 P31 Q120984482-85AEFCC0-8BC1-4550-9238-33C25DDC18E7 @default.
- Q120984482 P356 Q120984482-6937CEE9-2888-4E49-924B-D3E4FE545D1C @default.
- Q120984482 P433 Q120984482-5A58FADE-DBE9-49BA-A83F-54252717EA79 @default.
- Q120984482 P478 Q120984482-BB917CEB-9C93-4460-BC56-FEF1CBBF027A @default.
- Q120984482 P577 Q120984482-042540B3-0173-4844-951C-B5A3DBE02C84 @default.
- Q120984482 P356 S11219-023-09626-4 @default.
- Q120984482 P1433 Q15762444 @default.
- Q120984482 P1476 "Formal verification process of the compliance of a multicore AUTOSAR OS" @default.
- Q120984482 P2093 "Imane Haur" @default.
- Q120984482 P2093 "Jean-Luc Béchennec" @default.
- Q120984482 P2093 "Olivier H. Roux" @default.
- Q120984482 P304 "497-531" @default.
- Q120984482 P31 Q13442814 @default.
- Q120984482 P356 "10.1007/S11219-023-09626-4" @default.
- Q120984482 P433 "2" @default.
- Q120984482 P478 "31" @default.
- Q120984482 P577 "2023-05-25T00:00:00Z" @default.