Browsing by Author Bruno Ferreira
Showing results 1 to 1 of 1
Issue Date | Title | Author(s) | Type |
---|---|---|---|
9-Sep-2016 | Verification of vehicular networks using probabilistic model checking | Bruno Ferreira | Tese de Doutorado |
Issue Date | Title | Author(s) | Type |
---|---|---|---|
9-Sep-2016 | Verification of vehicular networks using probabilistic model checking | Bruno Ferreira | Tese de Doutorado |