Ayuda
¿En qué podemos ayudarle?
×
Buscar en la ayuda
Buscar
¿En qué podemos ayudarle?
×
Buscar en la ayuda
Buscar
Ir al conteni
d
o
B
uscar
R
evistas
T
esis
Co
n
gresos
m
étricas
Ayuda
Cambiar idioma
Idioma
català
Deutsch
English
español
euskara
français
galego
italiano
português
română
Cambiar
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]
Arak University
Arak University
Irán
[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
Acceso de usuarios registrados
Identificarse
¿Olvidó su contraseña?
¿Es nuevo?
Regístrese
Ventajas de registrarse
Dialnet Plus
Opciones de compartir
Facebook
Twitter
Opciones de entorno
Sugerencia / Errata
©
2001-2024
Fundación Dialnet
· Todos los derechos reservados
Dialnet Plus
Accesibilidad
Aviso Legal
Coordinado por:
I
nicio
B
uscar
R
evistas
T
esis
Co
n
gresos
m
étricas
Ayuda
R
e
gistrarse