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.

Intermittent Computing with Peripherals, Formally Verified

Gautier Berthou, Pierre-Évariste Dagand, Delphine Demange, Rémi Oudin, Tanguy Risset. Intermittent Computing with Peripherals, Formally Verified. In Jingling Xue, Changhee Jung, editors, Proceedings of the 21st ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems, LCTES 2020, London, UK, June 16, 2020. pages 85-96, ACM, 2020. [doi]

Authors

Gautier Berthou

This author has not been identified. Look up 'Gautier Berthou' in Google

Pierre-Évariste Dagand

This author has not been identified. Look up 'Pierre-Évariste Dagand' in Google

Delphine Demange

This author has not been identified. Look up 'Delphine Demange' in Google

Rémi Oudin

This author has not been identified. Look up 'Rémi Oudin' in Google

Tanguy Risset

This author has not been identified. Look up 'Tanguy Risset' in Google
runs on