David Miguel Ramalho Pereira


AuthID: R-000-45D

Publications Awaiting Confirmation

21
TITLE: Well-formed Control Flow for Critical Sections in RTFM-core
AUTHORS: Per Lindgren; Marcus Lindner; Andreas Lindner; David Pereira; Luis Miguel Pinho;
PUBLISHED: 2015, SOURCE: 13th IEEE International Conference on Industrial Informatics (INDIN) in PROCEEDINGS 2015 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN)
INDEXED IN: WOS
22
TITLE: RTFM-core: Language and Implementation
AUTHORS: Per Lindgren; Marcus Lindner; Andreas Lindner; David Pereira; Luis Miguel Pinho;
PUBLISHED: 2015, SOURCE: 10th IEEE Conference on Industrial Electronics and Applications in PROCEEDINGS OF THE 2015 10TH IEEE CONFERENCE ON INDUSTRIAL ELECTRONICS AND APPLICATIONS
INDEXED IN: WOS
23
TITLE: A Real-Time Semantics for the IEC 61499 standard
AUTHORS: Per Lindgren; Marcus Lindner; Andreas Lindner; Valeriy Vyatkin; David Pereira; Luis Miguel Pinho;
PUBLISHED: 2015, SOURCE: 20th IEEE Conference on Emerging Technologies and Factory Automation (ETFA) in PROCEEDINGS OF 2015 IEEE 20TH CONFERENCE ON EMERGING TECHNOLOGIES & FACTORY AUTOMATION (ETFA)
INDEXED IN: WOS
Page 3 of 3. Total results: 23.

A place for researchers and their institutions

Useful Links

Get Help

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