KIT - Karlsruhe Institute of Technology
Home
Legals
Privacy Policy
Accessibility
Sitemap
KIT
Home
Team
Offers
Teaching
Research
Publications
Logic of Autonomous Dynamical Systems
CoasterX: A case study in component-driven hybrid systems proof automation