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.

Detalhes bibliográficos
Autor principal: Pereira, David (author)
Outros Autores: Pinho, Luís Miguel (author), Lindgren, Per (author), Lindner, Marcus (author)
Formato: conferenceObject
Idioma:eng
Publicado em: 2016
Assuntos:
Concurrency control
Multi-threading
Program verification
Resource allocation
Texto completo:http://hdl.handle.net/10400.22/9522
País:Portugal
Oai:oai:recipp.ipp.pt:10400.22/9522

Texto Completo

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

Registos relacionados