Departamento de Ciencia de Datos y Sistemas de Información

  • 8 Citas
  • 1 Índice h
  • 1 Contribución a la conferencia
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 congreso › Contribución a la conferencia › revisión exhaustiva

    8 Citas (Scopus)