3565 search results - page 30 / 713 » Modeling a system controller for timing analysis |
ECBS
2009
IEEE
15 years 6 months ago
2009
IEEE
Probabilistic models are useful for analyzing systems which operate under the presence of uncertainty. In this paper, we present a technique for verifying safety and liveness prop...
112
click to vote
EMSOFT
2006
Springer
15 years 1 months ago
2006
Springer
Distributed real-time and embedded (DRE) systems have stringent constraints on timeliness and other properties whose assurance is crucial to correct system behavior. Formal tools ...
IPPS
2010
IEEE
14 years 9 months ago
2010
IEEE
DAC
2010
ACM
15 years 3 months ago
2010
ACM
GIS
2007
ACM
15 years 1 months ago
2007
ACM
