5 Artículos

An Interval-Valued Approach to Business Process Simulation Based on Genetic Algorithms and the BPMN

Acceso

en línea

Mario G.C.A. Cimino and Gigliola Vaglini

Revista: Information Formato: Electrónico

Tabla de contenido: Vol: 5 Num: 2 Pages209-388 Par: June Año: 2014

LORETO: A Tool for Reducing State Explosion in Verification of LOTOS Programs

Solicitud

usuarios registrados

Barbuti, R; Francesco, N De; Santone, A; Vaglini, G Pág. 1123 - 1123

Revista: SOFTWARE, PRACTICE & EXPERIENCE Formato: Impreso

Tabla de contenido: Vol: 29 Num: 12 Par: 0 Año: 1999

« Anterior Página: 1 de 1 Siguiente »