Monitoring Security Policies with Metric First-Order Temporal Logic
Event details
| Date | 22.06.2010 |
| Hour | 11:30 |
| Speaker | Felix Klaedtke, ETHZ, Information Security |
| Location | |
| Category | Conferences - Seminars |
Practical information
- General public
- Free