R-Charon

swMATH19756MaRDI QIDQ31580FDOQ31580

Author name not available (Why is that?)

Official website: http://rd.springer.com/chapter/10.1007/11730637_30

Described by source

• Hybrid Systems: Computation and Control

Cited In (5)

• Hybridization methods for the analysis of nonlinear systems
• RAMAS
• Charon
• A complete axiomatization of quantified differential dynamic logic for distributed hybrid systems
• Quantified differential temporal dynamic logic for verifying properties of distributed hybrid systems

This page was built for software: R-Charon