Towards specification and verification frameworks for concurrent real-time systems

Utilize este identificador para referenciar este registo: https://hdl.handle.net/1822/35225

Registo completo

Campo DC	Valor	Idioma
dc.contributor.author	Pereira, David	por
dc.contributor.author	Pedro, André Matos	por
dc.contributor.author	Pinho, Luís Miguel	por
dc.contributor.author	Pinto, Jorge Sousa	por
dc.date.accessioned	2015-05-20T13:50:25Z	-
dc.date.available	2015-05-20T13:50:25Z	-
dc.date.issued	2012	-
dc.identifier.citation	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.	por
dc.identifier.uri	https://hdl.handle.net/1822/35225	-
dc.description.sponsorship	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.	por
dc.language.iso	eng	por
dc.rights	openAccess	por
dc.subject	Formal Verification	por
dc.subject	Concurrent Real-time Systems	por
dc.title	Towards specification and verification frameworks for concurrent real-time systems	por
dc.type	lecture	por
dc.peerreviewed	no	por
oaire.citationConferencePlace	Boston, Massachusetts (USA)	por
oaire.citationTitle	ACM SIGAda’s Annual International Conference High Integrity Language Technology (HILT 2012)	por
dc.subject.fos	Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática	por
dc.subject.fos	Ciências Naturais::Ciências da Computação e da Informação	por
Aparece nas coleções:	HASLab - Palestras/ comunicações orais

Ficheiros deste registo:

Ficheiro	Descrição	Tamanho	Formato
poster_CISTER_AVIACC.pdf	Poster	1,21 MB	Adobe PDF	Ver/Abrir

Ver registo simples Sugerir correção Estatísticas