Alberto Sangiovanni-Vincentelli
IdRefMots clés
FR |
EN
Assertions
Hybride
Conception electronique assistée par ordinateur
Logique temporelle
Langages de spécification matériel
Simulation numerique
Circuits électroniques
Circuits intégrés analogiques numériques
Spécifications
Simulation par ordinateur
Systèmes embarqués
Systèmes distribués temps-Réels synchrones
Langages synchrones
Abstraction quasi-Synchrone
Architecture LTTA
Simulation symbolique
Systèmes embarqués (informatique)