Departamento de Ciencia de Datos y Sistemas de Información

Filtro
Contribución a la conferencia

Resultados de la búsqueda

  • 2018

    Verifying the long-run behavior of probabilistic system models in the presence of uncertainty

    Llerena, Y. R. S., Böhme, M., Brünink, M., Su, G. & Rosenblum, D. D., 26 oct. 2018, ESEC/FSE 2018 - Proceedings of the 2018 26th ACM Joint Meeting on European So ftware Engineering Conference and Symposium on the Foundations of So ftware Engineering. Garci, A., Pasareanu, C. S. & Leavens, G. T. (eds.). Association for Computing Machinery, Inc, p. 587-597 11 p. (ESEC/FSE 2018 - Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering).

    Producción científica: Capítulo del libro/informe/acta de congresoContribución a la conferenciarevisión exhaustiva

    7 Citas (Scopus)