1
Publicado 2010
Tabla de Contenidos: ... and HomePNA3.0 MAC -- Automatic Translation of a Process Level Petri-Net to a Ladder Diagram -- Software...
Enlace del recurso
Electrónico eBook
2
Tabla de Contenidos: ... -- Orchestrations with BPEL -- Part V Processes -- Process modeling with BPMN -- Inter-Organizational Processes....
Enlace del recurso
Electrónico eBook
3
Publicado 2007
Tabla de Contenidos: ... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...
Enlace del recurso
Electrónico eBook
4
Publicado 2010
Tabla de Contenidos: ... Protection -- Anonymous Credentials for Java Enabled Platforms: A Performance Evaluation -- Trusted Network...
Enlace del recurso
Electrónico eBook