Mladen Skelin, Erik Ramsgaard Wognsen, Mads Chr. Olesen, René Rydhof Hansen, Kim Guldstrand Larsen. Model checking of finite-state machine-based scenario-aware dataflow using timed automata. In 10th IEEE International Symposium on Industrial Embedded Systems, SIES 2015, Siegen, Germany, June 8-10, 2015. pages 235-244, IEEE, 2015. [doi]
@inproceedings{SkelinWOHL15,
title = {Model checking of finite-state machine-based scenario-aware dataflow using timed automata},
author = {Mladen Skelin and Erik Ramsgaard Wognsen and Mads Chr. Olesen and René Rydhof Hansen and Kim Guldstrand Larsen},
year = {2015},
doi = {10.1109/SIES.2015.7185065},
url = {http://dx.doi.org/10.1109/SIES.2015.7185065},
researchr = {https://researchr.org/publication/SkelinWOHL15},
cites = {0},
citedby = {0},
pages = {235-244},
booktitle = {10th IEEE International Symposium on Industrial Embedded Systems, SIES 2015, Siegen, Germany, June 8-10, 2015},
publisher = {IEEE},
isbn = {978-1-4673-7711-9},
}