Searching for violation of safety and liveness properties using knowledge discovery in complex systems specified through graph transformations

• Einollah Pira ^[1] ; Vahid Rafe ^[1] ; Amin Nikanjam ^[2]
  1. [1] Arak University

     Arak University

     Irán

     
  2. [2] Faculty of Computer Engineering, K.N. Toosi University of Technology, Iran
• Localización: Information and software technology, ISSN 0950-5849, Nº 97, 2018, págs. 110-134
• Idioma: inglés
• Enlaces
  • Texto completo