Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
Formats
RDF:
N-Triples
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
Other:
CSV
JSON-LD
Faceted Browser
Sparql Endpoint
About:
High integrity software
An Entity of Type:
Thing
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia.org
unknown
Property
Value
dbo:
wikiPageExternalLink
https://nvlpubs.nist.gov/nistpubs/Legacy/SP/nistspecialpublication500-204.pdf
https://www.google.com/books/edition/High_Integrity_Software/z9HgBwAAQBAJ
dbo:
wikiPageWikiLink
dbr
:Safety-critical_system
dbr
:Software
dbr
:Formal_methods
dbr
:Nuclear_reactor
dbr
:DO-178C
dbr
:IEC_61508
dbr
:Avionics
dbr
:High_availability_software
dbc
:Safety_engineering
dbc
:Software_quality
dbr
:Software_of_unknown_pedigree
dbc
:Software_by_type
dbr
:Process_control
dbp:
date
October 2023
(en)
dbp:
reason
Niche term with unclear widespread usage; insufficient connections to other related pages; more references needed
(en)
dbp:
wikiPageUsesTemplate
dbt
:Cite_book
dbt
:Software-eng-stub
dbt
:Software-type-stub
dbt
:Cleanup
dbt
:Quote
dbt
:R_from_move
dbt
:Redirect_category_shell
dbt
:Reflist
dbt
:Short_description
dbt
:Use_mdy_dates
dct:
subject
dbc
:Safety_engineering
dbc
:Software_quality
dbc
:Software_by_type
rdfs:
label
High integrity software
(en)
High-integrity software
(en)
owl:
sameAs
dbr
:High integrity software
wikidata
:High integrity software
dbpedia-global
:High integrity software
prov:
wasDerivedFrom
wikipedia-en
:High-integrity_software?oldid=1295956551&ns=0
wikipedia-en
:High_integrity_software?oldid=1295027220&ns=0
foaf:
isPrimaryTopicOf
wikipedia-en
:High_integrity_software
wikipedia-en
:High-integrity_software
is
dbo:
wikiPageWikiLink
of
dbr
:Ravenscar_profile
dbr
:Safety-critical_system
dbr
:Fred_Cohen
dbr
:SPARK_(programming_language)
dbr
:Therac-25
dbr
:High_availability_software
dbr
:Software_of_unknown_pedigree
is
foaf:
primaryTopic
of
wikipedia-en
:High_integrity_software
wikipedia-en
:High-integrity_software
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 4.0 International