Indefinite waitings in {MIRELA} systems

Author: Arcile J.; Didier J.; Klaudel H.; Devillers R.; Rataj A.
Conference Name: Proceedings 4th International Workshop on Engineering Safety and Security Systems, {ESSS} 2015, Oslo, Norway, June 22, 2015.
Year of Publication: 2015
Status: Published
DOI: 10.4204/EPTCS.184.1
URL: http://dx.doi.org/10.4204/EPTCS.184.1