Browsing by Subject Petri Nets_communication protocols_modeling_formal analysis.
Showing results 1 to 1 of 1
Issue Date | Preview | Title | Author(s) | ???itemlist.dc.contributor.advisor1??? | Program | Document Type |
---|---|---|---|---|---|---|
22-Dec-2003 | Modelagem e análise formal de algumas funcionalidades de um protocolo de transporte através das redes de Petri | Martins, Marcos Gilton Miranda | Menasche, Miguel | Mestrado em Engenharia de Telecomunicações | Dissertação |