Lustre est discret, mais il continue !
1 : Laboratoire dínformatique de l'École normale supérieure
École normale supérieure - Paris, Centre National de la Recherche Scientifique : UMR8548, Université Pierre et Marie Curie - Paris 6
Programmer et contrôler un système réactif ?
Écrire du code Assembleur/C/C++/JavaScript/Python/OCaml/Coq à la main ?
Et le comparer alors a quoi ?
Quelle est la spécification ?
| Type : | : | oral |
| Thématiques | : | Langages synchrones |
| PDF version | : |  PDF version |
- Poster
