Towards specification and verification frameworks for concurrent real-time systems

This work is funded by ERDF - European Regional Development Fund through the COMPETE Programme (operational programme for competitiveness) and by National Funds through the FCT - Fundação para a Ciência e a Tecnologia (Portuguese Foundation for Science and Technology) within project FCOMP-01-0124-FE...

Full description

Bibliographic Details
Main Author: Pereira, David (author)
Other Authors: Pedro, André Matos (author), Pinho, Luís Miguel (author), Pinto, Jorge Sousa (author)
Format: lecture
Language:eng
Published: 2012
Subjects:
Formal Verification
Concurrent Real-time Systems
Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática
Ciências Naturais::Ciências da Computação e da Informação
Online Access:http://hdl.handle.net/1822/35225
Country:Portugal
Oai:oai:repositorium.sdum.uminho.pt:1822/35225

Internet

http://hdl.handle.net/1822/35225

Similar Items