IEEE - Institute of Electrical and Electronics Engineers, Inc. - Towards usage of formal methods within embedded systems co-design

10th IEEE International Conference on Emerging Technologies and Factory Automation

Author(s): L. Gomes ; J.P. Barros ; A. Costa ; R. Pais ; F. Moutinho
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 2005
Conference Location: Catania, Italy
Conference Date: 19 September 2005
Volume: 1
ISBN (Paper): 0-7803-9401-1
DOI: 10.1109/ETFA.2005.1612535
Regular:

This paper presents the planned and on-going activities inside the FORDESIGN research project, funded by the Portuguese FCT (Foundation for Science and Technology), whose main objective is to... View More

Advertisement