Browsing by Author Ruiter Braga Caldas
Showing results 1 to 1 of 1
Issue Date | Title | Author(s) | Type |
---|---|---|---|
17-Dec-2009 | Modelagem, verificação formal e codificação de sistemas reativos autônomos | Ruiter Braga Caldas | Tese de Doutorado |