Carnevali, Laura and Vicario, Enrico and Giuntini, Johnny (2012) A symbolic approach to quantitative analysis of preemptive real-time systems with non-Markovian temporal parameters. In: 5th International ICST Conference on Performance Evaluation Methodologies and Tools.
![[thumbnail of 16101.pdf]](http://eprints.eai.eu/style/images/fileicons/application_pdf.png "16101.pdf")
PDF
16101.pdf
Download (291kB)
Abstract
The method of stochastic state classes provides a means for quantitative analysis of a rather wide class of non-Markovian models. As a major and structural limitation, the approach cannot be applied to models encompassing a preemptive policy, which in the practice rules out the mechanism of suspensi
| Item Type: | Conference or Workshop Item (UNSPECIFIED) |
|---|---|
| Date Deposited: | 04 Mar 2026 09:41 |
| Last Modified: | 18 Apr 2026 01:04 |
| URI: | http://eprints.eai.eu/id/eprint/7724 |
Actions (login required)
- View Item