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 Analysis of Robustness at Model and Code Level

Timothy E. Wang, Pierre-Loïc Garoche, Pierre Roux, Romain Jobredeaux, Eric Feron. Formal Analysis of Robustness at Model and Code Level. In Alessandro Abate, Georgios E. Fainekos, editors, Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, HSCC 2016, Vienna, Austria, April 12-14, 2016. pages 125-134, ACM, 2016. [doi]

Authors

Timothy E. Wang

This author has not been identified. Look up 'Timothy E. Wang' in Google

Pierre-Loïc Garoche

This author has not been identified. Look up 'Pierre-Loïc Garoche' in Google

Pierre Roux

This author has not been identified. Look up 'Pierre Roux' in Google

Romain Jobredeaux

This author has not been identified. Look up 'Romain Jobredeaux' in Google

Eric Feron

This author has not been identified. Look up 'Eric Feron' in Google
runs on