KAIROS: Temps Logique Multiforme pour Conception de Systèmes Cyber-Physiques (KAIROS)
Also known as
KAIROS: Multiform Logical Time for Formal Cyber-Physical System Design
Type
Facility
Location
Website
Related organizations
Related organizations
Parent