Publikationen
On the Accuracy of Formal Verification of Selective Defenses for TDoS Attacks
| Autor | Lemos, Marcilio O. O.; Dantas, Yuri Gil; Fonseca, Iguatemi E.; Nigam, Vivek |
|---|---|
| Datum | 2018 |
| Art | Journal Article |
| ISSN | 2352-2216 |
| In | Journal of Logical and Algebraic Methods in Programming, p.45-67 |
| Publisher | Elsevier |
| Schlüssel | TUD-CS-2017-0272 |
| Url | https://tubiblio.ulb.tu-darmstadt.de/id/eprint/101606 |
Aus- und Weiterbildung
Informieren Sie sich über die Aus- und Weiterbildungsangebote der in ATHENE mitwirkenden Institutionen