BibTeX record conf/iceccs/ThierryJHB23

• > Home > conf/iceccs/ThierryJHB23

@inproceedings{DBLP:conf/iceccs/ThierryJHB23,
  author       = {Lo{\"{\i}}c Thierry and
                  Jason Jaskolka and
                  Brahim Hamid and
                  Jean{-}Paul Bodeveix},
  editor       = {Yamine A{\"{\i}}t{-}Ameur and
                  Ferhat Khendek and
                  Dominique M{\'{e}}ry},
  title        = {Specification and Verification of Communication Paradigms for {CBSE}
                  in Event {B}},
  booktitle    = {27th International Conference on Engineering of Complex Computer Systems,
                  {ICECCS} 2023, Toulouse, France, June 14-16, 2023},
  pages        = {157--166},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/ICECCS59891.2023.00028},
  doi          = {10.1109/ICECCS59891.2023.00028},
  timestamp    = {Fri, 15 Dec 2023 07:44:32 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/ThierryJHB23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}