Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/35225
Título: | Towards specification and verification frameworks for concurrent real-time systems |
Autor(es): | Pereira, David Pedro, André Matos Pinho, Luís Miguel Pinto, Jorge Sousa |
Palavras-chave: | Formal Verification Concurrent Real-time Systems |
Data: | 2012 |
Citação: | D. Pereira, A. Pedro, L. M. Pinho, and J. S. Pinto. Towards specification and verification frameworks for concurrent real-time systems. Poster presented at High Integrity Language Technology, ACM SIGAda’s Annual International Conference (HILT’2012), 2012. |
Tipo: | Palestra |
URI: | https://hdl.handle.net/1822/35225 |
Arbitragem científica: | no |
Acesso: | Acesso aberto |
Aparece nas coleções: |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
poster_CISTER_AVIACC.pdf | Poster | 1,21 MB | Adobe PDF | Ver/Abrir |