HySon

swMATH20161MaRDI QIDQ31983FDOQ31983

Author name not available (Why is that?)

Official website: http://ieeexplore.ieee.org/document/6380694/

Cited In (3)

• Unbounded-time safety verification of guarded LTI models with inputs by abstract acceleration
• STRONG
• HyLAA

This page was built for software: HySon