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.

Work-in-Progress: Toward a Coq-Certified Tool for the Schedulability Analysis of Tasks with Offsets

Xiaojie Guo, Sophie Quinton, Pascal Fradet, Jean-Francois Monin. Work-in-Progress: Toward a Coq-Certified Tool for the Schedulability Analysis of Tasks with Offsets. In 2017 IEEE Real-Time Systems Symposium, RTSS 2017, Paris, France, December 5-8, 2017. pages 387-389, IEEE Computer Society, 2017. [doi]

Authors

Xiaojie Guo

This author has not been identified. Look up 'Xiaojie Guo' in Google

Sophie Quinton

This author has not been identified. Look up 'Sophie Quinton' in Google

Pascal Fradet

This author has not been identified. Look up 'Pascal Fradet' in Google

Jean-Francois Monin

This author has not been identified. Look up 'Jean-Francois Monin' in Google
runs on