A Framework for Specification and Validation of Real Times Systems Using Circus Action
Data de Publicação: | 2006 |
---|---|
Tipo de documento: | Tese |
Título da fonte: | Portal de Dados Abertos da CAPES |
id |
BRCRIS_5765ddc07521fd7c39f66e2ab625acc4 |
---|---|
network_acronym_str |
CAPES |
network_name_str |
Portal de Dados Abertos da CAPES |
dc.title.pt-BR.fl_str_mv |
A Framework for Specification and Validation of Real Times Systems Using Circus Action |
title |
A Framework for Specification and Validation of Real Times Systems Using Circus Action |
spellingShingle |
A Framework for Specification and Validation of Real Times Systems Using Circus Action |
title_short |
A Framework for Specification and Validation of Real Times Systems Using Circus Action |
title_full |
A Framework for Specification and Validation of Real Times Systems Using Circus Action |
title_fullStr |
A Framework for Specification and Validation of Real Times Systems Using Circus Action A Framework for Specification and Validation of Real Times Systems Using Circus Action |
title_full_unstemmed |
A Framework for Specification and Validation of Real Times Systems Using Circus Action A Framework for Specification and Validation of Real Times Systems Using Circus Action |
title_sort |
A Framework for Specification and Validation of Real Times Systems Using Circus Action |
publishDate |
2006 |
format |
doctoralThesis |
author_role |
author |
dc.publisher.none.fl_str_mv |
UNIVERSIDADE FEDERAL DE PERNAMBUCO |
publisher.none.fl_str_mv |
UNIVERSIDADE FEDERAL DE PERNAMBUCO |
instname_str |
UNIVERSIDADE FEDERAL DE PERNAMBUCO |
reponame_str |
Portal de Dados Abertos da CAPES |
collection |
Portal de Dados Abertos da CAPES |
spelling |
CAPESPortal de Dados Abertos da CAPESA Framework for Specification and Validation of Real Times Systems Using Circus ActionA Framework for Specification and Validation of Real Times Systems Using Circus ActionA Framework for Specification and Validation of Real Times Systems Using Circus ActionA Framework for Specification and Validation of Real Times Systems Using Circus ActionA Framework for Specification and Validation of Real Times Systems Using Circus ActionA Framework for Specification and Validation of Real Times Systems Using Circus ActionA Framework for Specification and Validation of Real Times Systems Using Circus Action2006doctoralThesisauthorUNIVERSIDADE FEDERAL DE PERNAMBUCOUNIVERSIDADE FEDERAL DE PERNAMBUCOUNIVERSIDADE FEDERAL DE PERNAMBUCOPortal de Dados Abertos da CAPESPortal de Dados Abertos da CAPES |
_version_ |
1741884035340173312 |