Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/BHDL> ?p ?o }
Showing triples 1 to 33 of
33
with 100 triples per page.
- BHDL abstract "BHDL is method of correct design of digital circuit. It combines the advantages of VHDL, the well-known language of circuit design, with the power of B method that guarantees the correct design (w.r.t. a formal specification). This allows avoiding the design test since it is ”correct by proven construction”.".
- BHDL wikiPageExternalLink 18870241.pdf?template=1&loginState=1&userData=anonymous-IP%253A%253AAddress%253A%2B69.22.172.150%252C%2B%255B172.16.161.5%252C%2B69.22.172.150%252C%2B127.0.0.1%255D.
- BHDL wikiPageID "30596404".
- BHDL wikiPageLength "2038".
- BHDL wikiPageOutDegree "14".
- BHDL wikiPageRevisionID "539217302".
- BHDL wikiPageWikiLink B-Method.
- BHDL wikiPageWikiLink Category:Formal_methods.
- BHDL wikiPageWikiLink Category:Formal_specification_languages.
- BHDL wikiPageWikiLink Formal_specification.
- BHDL wikiPageWikiLink Institut_national_de_recherche_sur_les_transports_et_leur_sécurité.
- BHDL wikiPageWikiLink Laboratoire_dInformatique_Fondamentale_de_Lille.
- BHDL wikiPageWikiLink VHDL.
- BHDL wikiPageUsesTemplate Template:FOLDOC.
- BHDL wikiPageUsesTemplate Template:Orphan.
- BHDL wikiPageUsesTemplate Template:Soft-eng-stub.
- BHDL subject Category:Formal_methods.
- BHDL subject Category:Formal_specification_languages.
- BHDL hypernym Method.
- BHDL type Area.
- BHDL type Language.
- BHDL type Software.
- BHDL type Area.
- BHDL type Language.
- BHDL type Method.
- BHDL comment "BHDL is method of correct design of digital circuit. It combines the advantages of VHDL, the well-known language of circuit design, with the power of B method that guarantees the correct design (w.r.t. a formal specification). This allows avoiding the design test since it is ”correct by proven construction”.".
- BHDL label "BHDL".
- BHDL sameAs Q2877041.
- BHDL sameAs BHDL.
- BHDL sameAs m.0g9x2tn.
- BHDL sameAs Q2877041.
- BHDL wasDerivedFrom BHDL?oldid=539217302.
- BHDL isPrimaryTopicOf BHDL.