Memory security in reconfigurable computers: Combining formal verification with monitoring.
| Autor: | Wiersema, Tobias, Drzevitzky, Stephanie, Platzner, Marco |
|---|---|
| Zdroj: | 2014 International Conference on Field-Programmable Technology (FPT); 2014, p167-174, 8p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|