Ir directamente a la navegación principal Ir directamente a la búsqueda Ir directamente al contenido principal

Symbolic specification and verification of data-aware BPMN processes using rewriting modulo SMT

  • University of Málaga
  • Laboratoire d’Informatique de Grenoble

Producción: Capítulo del libro/informe/acta de congreso › Contribución a la conferencia › revisión exhaustiva

13 Citas (Scopus)

Huella

Profundice en los temas de investigación de 'Symbolic specification and verification of data-aware BPMN processes using rewriting modulo SMT'. En conjunto forman una huella única.
Clasificar por

Keyphrases

INIS

Computer Science