9a - Analysis of Discrete Event Systems

7 novembro 2011, 11:00 José António Da Cruz Pinto Gaspar

 

Properties of DESs. First methodologies for the analysis: reachability tree.