A Framework for Verification of Component-based Embedded Systems with Heterogeneous Real-time Constraints

Benke, FalkFalkBenke2024-10-142024-10-142013https://knowledge.hpi.de/handle/123456789/1630A Framework for Verification of Component-based Embedded Systems with Heterogeneous Real-time Constraintsmasterthesis