Résultat(s) 1 - 6 résultats de 6 pour la requête 'Cassez Franck', Temps de recherche: 0,03s Affiner les résultats
  1. 1
    Compilation et vérification des programmes ELECTRE
    par Cassez Franck
    [s.n.] 1993
    Thèse ou mémoire
  2. 2
    Extension temps réel d'AltaRica
    Thèse ou mémoire
  3. 3
    Automates à file réactifs embarqués : application à la vérification de systèmes temps-réel
    Thèse ou mémoire
  4. 4
    Modélisation et vérification des processus parallèles : MOVEP'98 : Actes de l'Ecole d'été, Ecole Centrale de Nantes, 6-9 juillet 1998
    Ecole Centrale de Nantes 1998
    Livre
  5. 5
    Modélisation et vérification des processus parallèles : MOVEP'2k : MOdelling and VErification of Parallel processes : MOVEP'2k : Actes de l'école d'été, proceedings of the summer school, Ecole Centrale de Nantes, 19-23 juin 2000
    Ecole Centrale de Nantes 2000
    Livre
  6. 6
    Modeling and verification of parallel processes : 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000
    Springer 2001
    Livre
Réutiliser cette recherche: Flux RSS – Envoyer cette recherche par courriel

Vous cherchez un article par son titre ?

Consultez notre mode d'emploi sur les accès aux ressources numériques et l'activation de Nantilien.