Search
ComputingReviews.com
Runtime verification of embedded real-time systems
Reinbacher T., Függer M., Brauer J. Formal Methods in System Design44(3):203-239,2014.Type:Article
Published By:
Kluwer Academic Publishers
Use your personal or institutional subscription to read the
fulltext of the article.
You can purchase an article without having a subscription.
Reproduction in whole or in part without permission is prohibited. Copyright 1999-2024 ThinkLoud
®
Terms of Use
|
Privacy Policy
