New Results on Testing Modularity of Local Supervisors using Abstractions.

Patrcia N. Pena, Jos E. R. Cury, Stphane Lafortune

Browse the full ETFA paper archive.