4 juin 2018 Grenoble (France)
Lustre est discret, mais il continue !
Marc Pouzet  1  
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 ?



  • Poster
Personnes connectées : 1