Automating Abstraction Computations of Hybrid Systems - Laboratoire Interdisciplinaire des Sciences du Numérique Access content directly
Conference Papers Year : 2018
No file

Dates and versions

hal-01839897 , version 1 (16-07-2018)

Identifiers

  • HAL Id : hal-01839897 , version 1

Cite

Hadi Zaatiti, Lina Ye, Philippe Dague, Jean-Pierre Gallois. Automating Abstraction Computations of Hybrid Systems. CICM 2018 - 11th Conference on Intelligent Computer Mathematics ; Workshop FVPS 2018 - Formal Verification of Physical Systems, Aug 2018, Hagenberg, Austria. ⟨hal-01839897⟩
134 View
0 Download

Share

Gmail Mastodon Facebook X LinkedIn More