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.

Formal Specification and Timing Analysis of High-Integrity Real-Time Systems

Miguel Felder, Carlo Ghezzi, Mauro Pezzè. Formal Specification and Timing Analysis of High-Integrity Real-Time Systems. In Wolfgang A. Halang, Alexander D. Stoyenko, editors, Real Time Computing, Proceedings of the NATO Advanced Study Institute on Real Time Computing, held in Sint Maarten, Dutch Antilles, October 5-17, 1992. Volume 127 of NATO ASI Series, pages 187-211, Springer, 1992. [doi]

Authors

Miguel Felder

This author has not been identified. Look up 'Miguel Felder' in Google

Carlo Ghezzi

This author has not been identified. Look up 'Carlo Ghezzi' in Google

Mauro Pezzè

This author has not been identified. Look up 'Mauro Pezzè' in Google
runs on