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...

ver descrição completa

Detalhes bibliográficos
Autor principal: Pereira, David (author)
Outros Autores: Pedro, André Matos (author), Pinho, Luís Miguel (author), Pinto, Jorge Sousa (author)
Formato: lecture
Idioma:eng
Publicado em: 2012
Assuntos:
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
Texto completo:http://hdl.handle.net/1822/35225
País:Portugal
Oai:oai:repositorium.sdum.uminho.pt:1822/35225

Texto Completo

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

Registros relacionados