Polychronous modeling, analysis, verification and simulation for timed software architectures

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]

No reviews for this publication, yet.