Towards Certified Compilation of RTFM-core Applications

Work in Progress Session, 21st International Conference on Emerging Technologies and Factory Automation (ETFA 2016). 6 to 9, Sep, 2016. Berlin, Germany.

Bibliographic Details
Main Author: Pereira, David (author)
Other Authors: Pinho, Luís Miguel (author), Lindgren, Per (author), Lindner, Marcus (author)
Format: conferenceObject
Language:eng
Published: 2016
Subjects:
Concurrency control
Multi-threading
Program verification
Resource allocation
Online Access:http://hdl.handle.net/10400.22/9522
Country:Portugal
Oai:oai:recipp.ipp.pt:10400.22/9522

Internet

http://hdl.handle.net/10400.22/9522

Similar Items