BibTeX record phd/hal/Afendi22

download as .bib file

@phdthesis{DBLP:phd/hal/Afendi22,
  author       = {Meryem Afendi},
  title        = {A correct by construction approach for the modeling and the verification
                  of cyber-physical systems in Event-B. (Approche bas{\'{e}}e sur
                  les preuves formelles pour la mod{\'{e}}lisation et la v{\'{e}}rification
                  de syst{\`{e}}mes cyber-physiques dans Event-B)},
  school       = {University of Paris-Est, France},
  year         = {2022},
  url          = {https://tel.archives-ouvertes.fr/tel-04337049},
  timestamp    = {Thu, 04 Jan 2024 08:14:09 +0100},
  biburl       = {https://dblp.org/rec/phd/hal/Afendi22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.