PSyHCoS

MaRDI QIDQ42033swMATHFDO

Official website https://link.springer.com/chapter/10.1007/978-3-642-39799-8_70

Described by source

• Parameter synthesis for hierarchical concurrent real-time systems

Cited in

(3)

• IMITATOR
• VINAS-P
• Shrinktech

This page was built for software: PSyHCoS