Towards Specification and Verification Frameworks for Concurrent Real-Time Systems
David Pereira, André de Matos Pedro, Luís Miguel Pinho, Jorge Sousa Pinto · Portuguese National Funding Agency for Science, Research and Technology (RCAAP Project by FCT) · 2012
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-FEDER-020486.