Publications

Export 1 results:
2011
Z. Petrov, K. Kraty, J. M. P. Cardoso, and P. C. Diniz, "Programming Safety Requirements in the REFLECT Design Flow", Proc. of the Ninth IEEE Intl. Conf. on Industrial Informatics (INDIN'2011), July, 2011.