Huafeng Yu, Yue Ma, Thierry Gautier, Loïc Besnard, Paul Le Guernic, Jean-Pierre Talpin. Polychronous modeling, analysis, verification and simulation for timed software architectures. Journal of Systems Architecture, 59(10-D):1157-1170, 2013. [doi]
@article{YuMGBGT13,
title = {Polychronous modeling, analysis, verification and simulation for timed software architectures},
author = {Huafeng Yu and Yue Ma and Thierry Gautier and Loïc Besnard and Paul Le Guernic and Jean-Pierre Talpin},
year = {2013},
doi = {10.1016/j.sysarc.2013.08.004},
url = {http://dx.doi.org/10.1016/j.sysarc.2013.08.004},
researchr = {https://researchr.org/publication/YuMGBGT13},
cites = {0},
citedby = {0},
journal = {Journal of Systems Architecture},
volume = {59},
number = {10-D},
pages = {1157-1170},
}