Publications

Well-Formed Control Flow for Critical Sections in Rtfm-Core

AuthID
P-00K-173

Author(s)

Lindgren, P

Lindner, M

Lindner, A

Pereira, D

Pinho, LM

Document Type

Proceedings Paper

Year published

2015

Published

in Proceeding - 2015 IEEE International Conference on Industrial Informatics, INDIN 2015

Pages: 1438-1445

Conference

13Th International Conference on Industrial Informatics, Indin 2015, Date: 22 July 2015 through 24 July 2015, Sponsors: Anglia Ruskin University;IEEE Industrial Electronics Society (IES)

Indexing

Scopus^®

Crossref^®

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.1109/indin.2015.7281944

Scopus: 2-s2.0-84949489320

Export Publication Metadata

Marked List

Add to Marked List

Info

At this moment we don't have any links to full text documens.

Well-Formed Control Flow for Critical Sections in Rtfm-Core

Useful Links

Get Help

Federated Authentication (Click on the image)

Well-Formed Control Flow for Critical Sections in Rtfm-Core

Useful Links

Get Help