Please use this identifier to cite or link to this item: http://hdl.handle.net/1822/35225

TitleTowards specification and verification frameworks for concurrent real-time systems
Author(s)Pereira, David
Pedro, André Matos
Pinho, Luís Miguel
Pinto, Jorge Sousa
KeywordsFormal Verification
Concurrent Real-time Systems
Issue date2012
CitationD. 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.
TypeLecture
URIhttp://hdl.handle.net/1822/35225
Peer-Reviewedno
AccessOpen access
Appears in Collections:HASLab - Palestras/ comunicações orais

Files in This Item:
File Description SizeFormat 
poster_CISTER_AVIACC.pdfPoster1,21 MBAdobe PDFView/Open

Partilhe no FacebookPartilhe no TwitterPartilhe no DeliciousPartilhe no LinkedInPartilhe no DiggAdicionar ao Google BookmarksPartilhe no MySpacePartilhe no Orkut
Exporte no formato BibTex mendeley Exporte no formato Endnote Adicione ao seu ORCID