External Links

Cite Key

Statistics

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

PDF

Tags

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.

Timed State Space Analysis of Real-Time Preemptive Systems

Giacomo Bucci, Andrea Fedeli, Luigi Sassoli, Enrico Vicario. Timed State Space Analysis of Real-Time Preemptive Systems. IEEE Trans. Software Eng., 30(2):97-111, 2004. [doi]

Authors

Giacomo Bucci

This author has not been identified. Look up 'Giacomo Bucci' in Google

Andrea Fedeli

This author has not been identified. Look up 'Andrea Fedeli' in Google

Luigi Sassoli

This author has not been identified. Look up 'Luigi Sassoli' in Google

Enrico Vicario

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