Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Buscar alternativas:
"Temporal logic specifications" » "Temporal logica specifications" (Expander búsqueda)
"Temporal logic specifications" » "Temporal logica specifications" (Expander búsqueda)
-
1Publicado 2015Materias: “...Temporal logic specifications...”
-
2por Regis, G., Degiovanni, R., D'Ippolito, N., Aguirre, N., Association for Computing Machinery Special Interest Group on Software Engineering (ACM SIGSOFT); IEEE Computer Society Technical Council on Software Engineering (TCSE)Materias: “...Temporal logic specifications...”
CONF