Author Search Results

1

Detection of LiveLock in BPMN using process expression

Detection of LiveLock in BPMN using process expression

by Tantitharanukul N., Jumpamule W.
Published 2017

Get full text
Get full text

Book Series

2

Detecting deadlock and multiple termination in BPMN model using process automata

Detecting deadlock and multiple termination in BPMN model using process automata

by Tantitharanukul N., Sugunnasil P., Jumpamule W.
Published 2014

Get full text
Get full text

Conference or Workshop Item

3

Using simulation for the validation of high level specifications of control systems

Using simulation for the validation of high level specifications of control systems

by Jumpamule W., Paillet J.-L., Giambiasi N.
Published 2014

Get full text
Get full text

Article