BibTeX record conf/icsoft/KhlifiMKF15

• > Home > conf/icsoft/KhlifiMKF15

@inproceedings{DBLP:conf/icsoft/KhlifiMKF15,
  author       = {Oussama Khlifi and
                  Olfa Mosbahi and
                  Mohamed Khalgui and
                  Georg Frey},
  editor       = {Pascal Lorenz and
                  Leszek A. Maciaszek},
  title        = {{GR-TNCES:} New Extensions of {R-TNCES} for Modelling and Verification
                  of Flexible Systems under Energy and Memory Constraints},
  booktitle    = {{ICSOFT-EA} 2015 - Proceedings of the 10th International Conference
                  on Software Engineering and Applications, Colmar, Alsace, France,
                  20-22 July, 2015},
  pages        = {373--380},
  publisher    = {SciTePress},
  year         = {2015},
  url          = {https://doi.org/10.5220/0005523503730380},
  doi          = {10.5220/0005523503730380},
  timestamp    = {Mon, 03 Jan 2022 22:32:22 +0100},
  biburl       = {https://dblp.org/rec/conf/icsoft/KhlifiMKF15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}