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 |
