Qbricks, un environnement pour la vérification formelle en informatique quantique * - Archive ouverte HAL Access content directly
Conference Papers Year : 2019

Qbricks, un environnement pour la vérification formelle en informatique quantique *

Fichier principal
Vignette du fichier
Qbrick_AFADL.pdf (196.74 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-02175079 , version 1 (05-07-2019)

Identifiers

  • HAL Id : hal-02175079 , version 1

Cite

Christophe Chareton, Sébastien Bardin, François Bobot, Valentin Perelle, Benoît Valiron. Qbricks, un environnement pour la vérification formelle en informatique quantique *. 18e journées Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2019, Toulouse, France. ⟨hal-02175079⟩
244 View
411 Download

Share

Gmail Facebook X LinkedIn More