Automatic generation of predictive monitors from scenario-based specifications

• Pengcheng Zhang ^[1] ; Patrizio Pelliccione ^[2] ; Hareton Leung ^[4] ; Xuandong Li ^[3]
  1. [1] Hohai University

     Hohai University

     China

     
  2. [2] University of Gothenburg

     University of Gothenburg

     Suecia

     
  3. [3] Nanjing University

     Nanjing University

     China

     
  4. [4] Department of Computing, Hong Kong Polytechnic University, Hong Kong, China

  Mostrar afiliaciones +
• Localización: Information and software technology, ISSN 0950-5849, Nº 98, 2018, págs. 5-31
• Idioma: inglés
• Enlaces
  • Texto completo