Report from ASTEC−RT Auto project

Engineers today face increasing challenges due to complexity in their designs. To avoid costly design and debug iterations tool support for early validation and verification is needed. The traditional textual based specifications are non−formal and non−testable. This is why developers need tools for model based specification that supports early validation and verification.

ASTEC-RT-AUTO-report_final.pdf — PDF document, 180Kb