Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Dissertação de Mestrado
|
![]() |
Uma proposta de arquitetura de sistemas de controle utilizando padrões de projeto e CSP-OZ.Date, YoshiakiBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola Politécnica 2006-04-20Acesso online. A biblioteca também possui exemplares impressos. |
2 |
Material Type: Dissertação de Mestrado
|
![]() |
Checagem de arquiteturas de controle de veículos submarinos: uma abordagem baseada em especificações formais.Assis, Fábio Henrique DeBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola Politécnica 2009-07-08Acesso online. A biblioteca também possui exemplares impressos. |
3 |
Material Type: Dissertação de Mestrado
|
![]() |
Arquitetura de software para sistemas de tempo real.Oliveira, Wilson Prates DeBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola Politécnica 2011-10-11Acesso online. A biblioteca também possui exemplares impressos. |