Search
Now showing items 1-3 of 3
Using the equitable partition technique to determine the non-controllability of dynamic networks
Publisher: IEEE
Year: 2014
Uncertainty quantification in performance evaluation of manufacturing processes
Publisher: IEEE
Year: 2014
Verification of diagnosability based on compositional branching bisimulation
Publisher: IEEE
Year: 2014