Automating Abstraction Computations of Hybrid Systems
| Autor: | Zaatiti, Hadi, Ye, Lina, Dague, Philippe, Gallois, Jean-Pierre |
|---|---|
| Přispěvatelé: | Dague, Philippe, Données et Connaissances Massives et Hétérogènes (LRI) (LaHDAK - LRI), Laboratoire de Recherche en Informatique (LRI), Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), Modélisation hétérogène (LRI) (MODHEL - LRI), Laboratoire d'Intégration des Systèmes et des Technologies (LIST (CEA)), Direction de Recherche Technologique (CEA) (DRT (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA), Laboratoire d'Intégration des Systèmes et des Technologies (LIST) |
| Jazyk: | angličtina |
| Rok vydání: | 2018 |
| Předmět: | |
| Zdroj: | CICM 2018-11th Conference on Intelligent Computer Mathematics ; Workshop FVPS 2018-Formal Verification of Physical Systems CICM 2018-11th Conference on Intelligent Computer Mathematics ; Workshop FVPS 2018-Formal Verification of Physical Systems, Aug 2018, Hagenberg, Austria |
| Popis: | International audience |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|