From High-Level Verification to Real-Time Scheduling: A Property-Preserving Integration - OFFIS

Your browser does not support JavaScript!

To use all the features of this page, you need JavaScript!<br> Please update your browser or enable JavaScript in your settings.

Home
OFFIS
Publikationen
From High-Level Verification to Real-Time Scheduling: A Property-Preserving Integration

From High-Level Verification to Real-Time Scheduling: A Property-Preserving Integration

Export

All authors

Faber, Johannes and Stierand, Ingo

Publishing date

01 / 2007

Type of Publication

techreport

Privacy Data Transparency Contact Legals