Progressive events in supervisory control and compositional verification
Simon Ware
Robi Malik
Keywords：Model validation in design methodsController constraints and structureComputational issues
Publication Date：2014-01-01
Online Publishing Date：2025-08-15(First online date of this platform, not the publication date of the document)
Pages：13( 317-329 )