Guest Dr. Felix Klaedtke

Dr. Felix Klaedtke from ETH Zurich visited the MAIS group on January 24-25, 2012. He gave a talk about "Policy Monitoring with First-order Temporal Logic" in the MAIS graduate seminar.
A A A | Print | Imprint | Sitemap | Contact
zum Seitenanfang