PSyHCoS

swMATH30319MaRDI QIDQ42033FDOQ42033

Author name not available (Why is that?)

Described by source

• Parameter synthesis for hierarchical concurrent real-time systems

This page was built for software: PSyHCoS