Pedro Diniz

Programming Safety Requirements in the REFLECT Design Flow

TitleProgramming Safety Requirements in the REFLECT Design Flow
Publication TypeConference Paper
Year of Publication2011
AuthorsZ. Petrov, K. Kraty, J. M. P. Cardoso, and P. C. Diniz
Conference NameProc. of the Ninth IEEE Intl. Conf. on Industrial Informatics (INDIN'2011)
Date PublishedJuly
Groups: