Timed Model Checking with Abstractions
Metadata only
Date
2012Type
- Conference Paper
ETH Bibliography
yes
Altmetrics
Publication status
publishedExternal links
Book title
Proceedings of the tenth ACM international conference on Embedded softwarePages / Article No.
Publisher
Association for Computing MachineryEvent
Subject
Multi-core systems; Worst-case response time analysis; Resource contentionOrganisational unit
03429 - Thiele, Lothar (emeritus) / Thiele, Lothar (emeritus)
More
Show all metadata
ETH Bibliography
yes
Altmetrics