BibTeX record conf/icsoft/ChouchaRKK20a

• > Home > conf/icsoft/ChouchaRKK20a

@inproceedings{DBLP:conf/icsoft/ChouchaRKK20a,
  author       = {Chams Eddine Choucha and
                  Mohamed Ramdani and
                  Mohamed Khalgui and
                  La{\"{\i}}d Kahloul},
  editor       = {Marten van Sinderen and
                  Leszek A. Maciaszek and
                  Hans{-}Georg Fill},
  title        = {On Improvement of Formal Verification of Reconfigurable Real-Time
                  Systems Using {TCTL} and CTL-Based Properties on IaaS Cloud Environment},
  booktitle    = {Software Technologies - 15th International Conference, {ICSOFT} 2020,
                  Online Event, July 7-9, 2020, Revised Selected Papers},
  series       = {Communications in Computer and Information Science},
  volume       = {1447},
  pages        = {114--133},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-83007-6\_6},
  doi          = {10.1007/978-3-030-83007-6\_6},
  timestamp    = {Thu, 14 Oct 2021 10:27:24 +0200},
  biburl       = {https://dblp.org/rec/conf/icsoft/ChouchaRKK20a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}