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]

Authors

Huafeng Yu

This author has not been identified. Look up 'Huafeng Yu' in Google

Yue Ma

This author has not been identified. Look up 'Yue Ma' in Google

Thierry Gautier

This author has not been identified. Look up 'Thierry Gautier' in Google

Loïc Besnard

This author has not been identified. Look up 'Loïc Besnard' in Google

Paul Le Guernic

This author has not been identified. Look up 'Paul Le Guernic' in Google

Jean-Pierre Talpin

This author has not been identified. Look up 'Jean-Pierre Talpin' in Google