| Property |
Value |
| dbo:abstract
|
- BHDL, ou B/HDL pour B Hardware Description Language, est une méthode ayant pour objectif de formaliser la conception sûre de circuits numériques. Cette méthode s'appuie sur la méthode formelle de développement logiciel B ; elle a été initialement élaborée au cours d'une collaboration INRETS/ESTAS et l'Université de technologie de Compiègne (UTC-Heudiasyc). Les travaux sont maintenant poursuivis avec l'aide du Laboratoire d'informatique fondamentale de Lille (LIFL). Le nom BHDL est apparu dès 1999 lors des travaux évoqués ci-dessus. Néanmoins, ultérieurement ce même nom a été repris par une société de la région grenobloise, KeesDA, pour une méthode ayant des objectifs similaires. (fr)
- BHDL, ou B/HDL pour B Hardware Description Language, est une méthode ayant pour objectif de formaliser la conception sûre de circuits numériques. Cette méthode s'appuie sur la méthode formelle de développement logiciel B ; elle a été initialement élaborée au cours d'une collaboration INRETS/ESTAS et l'Université de technologie de Compiègne (UTC-Heudiasyc). Les travaux sont maintenant poursuivis avec l'aide du Laboratoire d'informatique fondamentale de Lille (LIFL). Le nom BHDL est apparu dès 1999 lors des travaux évoqués ci-dessus. Néanmoins, ultérieurement ce même nom a été repris par une société de la région grenobloise, KeesDA, pour une méthode ayant des objectifs similaires. (fr)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 1176 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:wikiPageUsesTemplate
| |
| dct:subject
| |
| rdfs:comment
|
- BHDL, ou B/HDL pour B Hardware Description Language, est une méthode ayant pour objectif de formaliser la conception sûre de circuits numériques. Cette méthode s'appuie sur la méthode formelle de développement logiciel B ; elle a été initialement élaborée au cours d'une collaboration INRETS/ESTAS et l'Université de technologie de Compiègne (UTC-Heudiasyc). Les travaux sont maintenant poursuivis avec l'aide du Laboratoire d'informatique fondamentale de Lille (LIFL). (fr)
- BHDL, ou B/HDL pour B Hardware Description Language, est une méthode ayant pour objectif de formaliser la conception sûre de circuits numériques. Cette méthode s'appuie sur la méthode formelle de développement logiciel B ; elle a été initialement élaborée au cours d'une collaboration INRETS/ESTAS et l'Université de technologie de Compiègne (UTC-Heudiasyc). Les travaux sont maintenant poursuivis avec l'aide du Laboratoire d'informatique fondamentale de Lille (LIFL). (fr)
|
| rdfs:label
| |
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
