R-Charon

swMATH19756MaRDI QIDQ31580

No author found.

Described by source

• Hybrid Systems: Computation and Control

Related Items (3)

Quantified Differential Temporal Dynamic Logic for Verifying Properties of Distributed Hybrid Systems ⋮ Hybridization methods for the analysis of nonlinear systems ⋮ A Complete Axiomatization of Quantified Differential Dynamic Logic for Distributed Hybrid Systems

This page was built for software: R-Charon