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.

Automating Abstraction Computation of Hybrid Systems

Hadi Zaatiti, Jean-Pierre Gallois, Lina Ye, Philippe Dague. Automating Abstraction Computation of Hybrid Systems. In Osman Hasan, Abdou Youssef, Adam Naumowicz, William M. Farmer, Cezary Kaliszyk, Diane Gallois-Wong, Florian Rabe, Gabriel Dos Reis, Grant O. Passmore, James H. Davenport, Markus Pfeiffer, Michael Kohlhase, Serge Autexier, Sofiène Tahar, Thomas Koprucki, Umair Siddique, Walther Neuper, Wolfgang Windsteiger, Wolfgang Schreiner, Wolfram Sperber, Zoltán Kovács, editors, Joint Proceedings of the CME-EI, FMM, CAAT, FVPS, M3SRD, OpenMath Workshops, Doctoral Program and Work in Progress at the Conference on Intelligent Computer Mathematics 2018 co-located with the 11th Conference on Intelligent Computer Mathematics (CICM 2018), Hagenberg, Austria, August 13-17, 2018. Volume 2307 of CEUR Workshop Proceedings, CEUR-WS.org, 2018. [doi]

Authors

Hadi Zaatiti

This author has not been identified. Look up 'Hadi Zaatiti' in Google

Jean-Pierre Gallois

This author has not been identified. Look up 'Jean-Pierre Gallois' in Google

Lina Ye

This author has not been identified. Look up 'Lina Ye' in Google

Philippe Dague

This author has not been identified. Look up 'Philippe Dague' in Google
runs on