Rewriting Logic Based Performance Estimation of Embedded Systems

Fateh Boutekkouk. Rewriting Logic Based Performance Estimation of Embedded Systems. In Khalid Al-Begain, Dieter Fiems, William J. Knottenbelt, editors, Analytical and Stochastic Modeling Techniques and Applications, 17th International Conference, ASMTA 2010, Cardiff, UK, June 14-16, 2010. Proceedings. Volume 6148 of Lecture Notes in Computer Science, pages 117-129, Springer, 2010. [doi]

@inproceedings{Boutekkouk10,
  title = {Rewriting Logic Based Performance Estimation of Embedded Systems},
  author = {Fateh Boutekkouk},
  year = {2010},
  doi = {10.1007/978-3-642-13568-2_9},
  url = {http://dx.doi.org/10.1007/978-3-642-13568-2_9},
  tags = {rule-based, graph-rewriting, logic, rewriting logic, rewriting},
  researchr = {https://researchr.org/publication/Boutekkouk10},
  cites = {0},
  citedby = {0},
  pages = {117-129},
  booktitle = {Analytical and Stochastic Modeling Techniques and Applications, 17th International Conference, ASMTA 2010, Cardiff, UK, June 14-16, 2010. Proceedings},
  editor = {Khalid Al-Begain and Dieter Fiems and William J. Knottenbelt},
  volume = {6148},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-13567-5},
}