Indefinite waitings in {MIRELA} systems
| Author | Arcile J.; Didier J.; Klaudel H.; Devillers R.; Rataj A. |
|---|---|
| Title | Indefinite waitings in {MIRELA} systems |
| Journal | Proceedings 4th International Workshop on Engineering Safety and Security Systems, {ESSS} 2015, Oslo, Norway, June 22, 2015. |
| Year | 2015 |
| Status | Published |
| DOI | 10.4204/EPTCS.184.1 |
| URL | http://dx.doi.org/10.4204/EPTCS.184.1 |