-
91
pages
-
English
-
Documents
Description
Programming hybrid systems with synchronous languages Marc Pouzet1,2,3 Albert Benveniste3 Timothy Bourke3,1 Benoît Caillaud3 1. École normale supérieure (LIENS) 2. Université Pierre et Marie Curie 3. INRIA CSDM 2011, December 7–9, Paris
- time scale
- ecole normale
- ?? temporal
- zero time
- synchronous languages
- spécification assistée par ordinateur
-
Publié par
-
Langue
English
-
Poids de l'ouvrage
1 Mo