Matches in Wikidata for { <http://www.wikidata.org/entity/Q57658815> ?p ?o ?g. }
Showing items 1 to 39 of
39
with 100 items per page.
- Q57658815 description "article scientifique publié en 2009" @default.
- Q57658815 description "im September 2009 veröffentlichter wissenschaftlicher Artikel" @default.
- Q57658815 description "wetenschappelijk artikel" @default.
- Q57658815 description "наукова стаття, опублікована у вересні 2009" @default.
- Q57658815 name "Deriving Safety Cases for the Formal Safety Certification of Automatically Generated Code" @default.
- Q57658815 name "Deriving Safety Cases for the Formal Safety Certification of Automatically Generated Code" @default.
- Q57658815 type Item @default.
- Q57658815 label "Deriving Safety Cases for the Formal Safety Certification of Automatically Generated Code" @default.
- Q57658815 label "Deriving Safety Cases for the Formal Safety Certification of Automatically Generated Code" @default.
- Q57658815 prefLabel "Deriving Safety Cases for the Formal Safety Certification of Automatically Generated Code" @default.
- Q57658815 prefLabel "Deriving Safety Cases for the Formal Safety Certification of Automatically Generated Code" @default.
- Q57658815 P1433 Q57658815-FB62928A-FB8A-46DB-A962-3DFFB55DB879 @default.
- Q57658815 P1476 Q57658815-8687EFF8-AC37-4594-9966-F3FC7C3D48D8 @default.
- Q57658815 P2093 Q57658815-29476D91-78D3-441B-AB1E-BFE3ACA111DC @default.
- Q57658815 P2093 Q57658815-633F6281-B934-4DA6-8813-BEF94948AFF7 @default.
- Q57658815 P304 Q57658815-8E0F2031-2C85-431C-ABE0-90429174E915 @default.
- Q57658815 P31 Q57658815-61F15FE2-DFAF-4610-BFF5-7B1A59AA3A73 @default.
- Q57658815 P356 Q57658815-0091A4BE-0173-42E9-8EB2-5C3B2B04DC19 @default.
- Q57658815 P433 Q57658815-5DCC9C99-FFE1-4E7A-9536-24B025F3663F @default.
- Q57658815 P478 Q57658815-80409379-9992-4240-95BD-63ED0DE3A7A8 @default.
- Q57658815 P50 Q57658815-5E793A6D-C78F-4109-ADB6-C978320B9FCD @default.
- Q57658815 P577 Q57658815-2297F6AB-015A-45A5-A90D-4509C57F9200 @default.
- Q57658815 P8978 Q57658815-3C5F4B6C-3B3D-4950-8A5A-760C1B65C354 @default.
- Q57658815 P921 Q57658815-246B1FBD-598B-4EBA-A08B-DC8C225812CF @default.
- Q57658815 P356 J.ENTCS.2009.09.003 @default.
- Q57658815 P8978 BasirDF09 @default.
- Q57658815 P1433 Q5358287 @default.
- Q57658815 P1476 "Deriving Safety Cases for the Formal Safety Certification of Automatically Generated Code" @default.
- Q57658815 P2093 "Ewen Denney" @default.
- Q57658815 P2093 "Nurlida Basir" @default.
- Q57658815 P304 "19-26" @default.
- Q57658815 P31 Q13442814 @default.
- Q57658815 P356 "10.1016/J.ENTCS.2009.09.003" @default.
- Q57658815 P433 "4" @default.
- Q57658815 P478 "238" @default.
- Q57658815 P50 Q57416941 @default.
- Q57658815 P577 "2009-09-01T00:00:00Z" @default.
- Q57658815 P8978 "journals/entcs/BasirDF09" @default.
- Q57658815 P921 Q184199 @default.