Skip to content
Présentation
Équipes
Logique, calcul et programmation
Spécification et vérification de systèmes
Masters
Membres
Publications
Séminaire
Contact
Comment venir ?
Connexion
Présentation
Équipes
Logique, calcul et programmation
Spécification et vérification de systèmes
Masters
Membres
Publications
Séminaire
Contact
Comment venir ?
Connexion
TBA
19 février 2018
Renaud Vilmart
(LORIA)
TBA
Navigation de l’article
Hors-temps et temps-réel : l’écriture informatique du temps et de l’interaction en musique mixte.
Efficient analysis of weighted Petri nets
