Carla Maria Gonçalves Ferreira


AuthID: R-000-307

Confirmed Publications: 62



61
TITLE: A process compensation language
AUTHORS: Butler, M; Ferreira, C ;
PUBLISHED: 2000, SOURCE: 2nd International Conference on Integrated Formal Methods (IFM 2000) in INTEGRATED FORMAL METHODS, PROCEEDINGS, VOLUME: 1945
INDEXED IN: Scopus WOS CrossRef: 28
IN MY: ORCID
62
TITLE: Automatic generation of C-code or PLD circuits under SFC graphical environment
AUTHORS: Ferreira, C ; Monteiro, S; Monteiro, J ;
PUBLISHED: 1997, SOURCE: IEEE International Symposium on Industrial Electronics in ISIE '97 - PROCEEDINGS OF THE IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS, VOLS 1-3, VOLUME: 1
INDEXED IN: Scopus WOS
IN MY: ResearcherID
Page 7 of 7. Total results: 62.

footer slogan

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service