Method for temporal logic specification of properties of critical business processes (MEPRONEC)

Abstract:

Año de publicación:

2012

Keywords:

Fuente:

scopus

Tipo de documento:

Conference Object

Estado:

Acceso restringido

Áreas de conocimiento:

• Ingeniería de software
• Ciencias de la computación

Áreas temáticas:

• Ciencias de la computación

Contribuidores:

Pérez M.A.

Luis Eduardo Mendoza Morales

Mijares M.

Mendez E.

Domínguez K.