Matches in Wikidata for { <http://www.wikidata.org/entity/Q59119988> ?p ?o ?g. }
Showing items 1 to 50 of
50
with 100 items per page.
- Q59119988 description "article scientifique publié en 2015" @default.
- Q59119988 description "im Januar 2015 veröffentlichter wissenschaftlicher Artikel" @default.
- Q59119988 description "wetenschappelijk artikel" @default.
- Q59119988 description "наукова стаття, опублікована у 2015" @default.
- Q59119988 name "A Formal Approach for RT-DVS Algorithms Evaluation Based on Statistical Model Checking" @default.
- Q59119988 name "A Formal Approach for RT-DVS Algorithms Evaluation Based on Statistical Model Checking" @default.
- Q59119988 type Item @default.
- Q59119988 label "A Formal Approach for RT-DVS Algorithms Evaluation Based on Statistical Model Checking" @default.
- Q59119988 label "A Formal Approach for RT-DVS Algorithms Evaluation Based on Statistical Model Checking" @default.
- Q59119988 prefLabel "A Formal Approach for RT-DVS Algorithms Evaluation Based on Statistical Model Checking" @default.
- Q59119988 prefLabel "A Formal Approach for RT-DVS Algorithms Evaluation Based on Statistical Model Checking" @default.
- Q59119988 P1104 Q59119988-174B9817-B753-4E53-B1CC-81E7DBB16714 @default.
- Q59119988 P1433 Q59119988-BC87F3C2-93C0-4F8D-AB2E-8BD26758C115 @default.
- Q59119988 P1476 Q59119988-81C8CFCD-49CC-4038-B8A2-036D72745349 @default.
- Q59119988 P2093 Q59119988-3C7E9CDA-08B9-479B-8173-F406A87E42A9 @default.
- Q59119988 P2093 Q59119988-3DAEC424-B1A8-469E-B563-3D90DD2CCCDB @default.
- Q59119988 P2093 Q59119988-7BBA5DF3-5F10-4BB9-ACAC-6CF15D0C2800 @default.
- Q59119988 P2093 Q59119988-82E94D88-3293-4E2A-91D6-E9CA46E23454 @default.
- Q59119988 P2093 Q59119988-9DFAF41D-BAF2-4129-8260-EFC88B121223 @default.
- Q59119988 P2093 Q59119988-A611A71D-B183-4CE6-89B3-E3BE26455AD4 @default.
- Q59119988 P2093 Q59119988-BB92FDFC-1EE2-4C7A-9F78-FFAD226DE1D5 @default.
- Q59119988 P275 Q59119988-D5061FE1-6CA9-44A3-B2D5-600D71175974 @default.
- Q59119988 P2860 Q59119988-950D133A-92D8-45FB-98E7-C8027BD53249 @default.
- Q59119988 P304 Q59119988-5B2E44F1-BC0E-4480-ACAD-C9B117208DF7 @default.
- Q59119988 P31 Q59119988-817FDD82-4E31-43AD-B1EC-C682708177D8 @default.
- Q59119988 P356 Q59119988-FAE37487-DF2B-458E-B03C-79AE0F06687E @default.
- Q59119988 P478 Q59119988-69B86CC2-EDED-430A-9EE0-1A1E7BCD6171 @default.
- Q59119988 P577 Q59119988-1CDA4E10-04D0-46E3-801D-BD407866D130 @default.
- Q59119988 P6216 Q59119988-12C95BF3-76B8-4ADD-A55E-FC69E6090EAF @default.
- Q59119988 P921 Q59119988-07B9FD08-2E4F-4D05-9371-331FF2153E05 @default.
- Q59119988 P356 815230 @default.
- Q59119988 P1104 "+12" @default.
- Q59119988 P1433 Q15765080 @default.
- Q59119988 P1476 "A Formal Approach for RT-DVS Algorithms Evaluation Based on Statistical Model Checking" @default.
- Q59119988 P2093 "Bing Guo" @default.
- Q59119988 P2093 "Lin Sun" @default.
- Q59119988 P2093 "Mei Hong" @default.
- Q59119988 P2093 "Qiongyu Zhang" @default.
- Q59119988 P2093 "Shengxin Dai" @default.
- Q59119988 P2093 "Yang He" @default.
- Q59119988 P2093 "Yi Du" @default.
- Q59119988 P275 Q14947546 @default.
- Q59119988 P2860 Q57835194 @default.
- Q59119988 P304 "1-12" @default.
- Q59119988 P31 Q13442814 @default.
- Q59119988 P356 "10.1155/2015/815230" @default.
- Q59119988 P478 "2015" @default.
- Q59119988 P577 "2015-01-01T00:00:00Z" @default.
- Q59119988 P6216 Q50423863 @default.
- Q59119988 P921 Q12483 @default.