C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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
Published in:
J. Syst. Archit. (2013)
Keyphrases
</>
colored petri nets
software architecture
petri net
statistical analysis
formal analysis
case study
real world
data analysis
software systems
mathematical analysis
discrete event