names.value: KAIROS
names.types: acronym
names.value: KAIROS: Multiform Logical Time for Formal Cyber-Physical System Design
names.types: label
names.lang: en
names.value: KAIROS: Temps Logique Multiforme pour Conception de Systèmes Cyber-Physiques
names.types: label ror_display
names.lang: fr
relationships.type: parent
relationships.label: Centre Inria d'Université Côte d'Azur
relationships.id: https://ror.org/01nzkaw91