A systematized approach for obtaining a dependable structured specification for an industrial automation system.

Jos Machado, Eurico Seabra

Browse the full INDIN paper archive.