External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

A symbolic approach to quantitative analysis of preemptive real-time systems with non-Markovian temporal parameters

Laura Carnevali, Johnny Giuntini, Enrico Vicario. A symbolic approach to quantitative analysis of preemptive real-time systems with non-Markovian temporal parameters. In Samson Lasaulce, Dieter Fiems, Peter G. Harrison, Luc Vandendorpe, editors, 5th International ICST Conference on Performance Evaluation Methodologies and Tools Communications, VALUETOOLS '11, Paris, France, May 16-20, 2011. pages 111-120, ICST/ACM, 2011. [doi]

Authors

Laura Carnevali

This author has not been identified. Look up 'Laura Carnevali' in Google

Johnny Giuntini

This author has not been identified. Look up 'Johnny Giuntini' in Google

Enrico Vicario

This author has not been identified. Look up 'Enrico Vicario' in Google
runs on