Zum Inhalt springen

  2. Duhil, Christophe [VerfasserIn] ; Brest [MitwirkendeR]; Babau, Jean-Philippe [MitwirkendeR]

    ModelRun, une méthode de transformations de modèles pour la vérification de propriétés de modèles de systèmes complexes par simulation ; ModelRun, a model transformation method for complex system models properties checking by simulation

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2021-04-07

  3. El Baccouri, Hamza [VerfasserIn] ; Brest [MitwirkendeR]; Babau, Jean-Philippe [MitwirkendeR]

    Automatisation de la mise au point de lois de contrôle de systèmes cyber-physiques évoluant en environnement incertain ; Automation of the development of control laws for cyber-physical systems evolving in an uncertain environment

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2020-12-17

  4. Lavigne, Emilien [VerfasserIn] ; Brest [MitwirkendeR]; Babau, Jean-Philippe [MitwirkendeR]

    AMSA, un framework dédié à la simulation des lois de contrôle pour des voiliers de compétition ; AMSA, a framework dedicated to simulation of control laws for racing sailboats

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2019-12-05

  5. Vallejo, Paola [VerfasserIn] ; Brest [MitwirkendeR]; Babau, Jean-Philippe [MitwirkendeR]

    Réutilisation de composants logiciels pour l'outillage de DSML dans le contexte des MPSoC ; Reuse of legacy code for DSML tools in the context of MPSoC

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2015-12-15

  6. Mehiaoui, Asma [VerfasserIn] ; Brest [MitwirkendeR]; Babau, Jean-Philippe [MitwirkendeR]

    Techniques d'analyse et d'optimisation pour la synthèse architecturale de systèmes temps réel embarqués distribués : problèmes de placement, de partitionnement et d'ordonnancement ; Analysis and optimization techniques for the architectural synthesis of real time embedded and distributed systems

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2014-06-16

  7. Ludwig, Marie [VerfasserIn] ; Brest [MitwirkendeR]; Babau, Jean-Philippe [MitwirkendeR]

    Autonomie et reconfiguration des systèmes de systèmes tactiques ; Autonomy and reconfiguration of tactical systems of systems

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2013-10-24

  11. Mzid, Rania [VerfasserIn] ; Brest [MitwirkendeR]; École nationale d'ingénieurs de Sfax (Tunisie) [MitwirkendeR]; Babau, Jean-Philippe [MitwirkendeR]; Abid, Mohamed [MitwirkendeR]

    Rétro-ingénierie des plateformes pour le déploiement des applications temps-réel ; Reverse-engineering of platforms for the deployment of real-time applications

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2014-05-12