Zum Inhalt springen

  1. Zalila, Faiez [Verfasser:in] ; Toulouse, INPT [Mitwirkende:r]; Aït-Ameur, Yamine [Mitwirkende:r]; Crégut, Xavier [Mitwirkende:r]

    Methods and tools for the integration of formal verification in domain-specific languages ; Méthodes et outils pour l’intégration de la vérification formelle pour les langages dédiés

    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-12-09

  2. Bousse, Erwan [Verfasser:in] ; Rennes 1 [Mitwirkende:r]; Baudry, Benoit [Mitwirkende:r]

    Execution trace management to support dynamic V&V for executable DSMLs ; Gestion de traces d'exécution pour permettre la vérification et la validation pour des langages de modélisation dédiés exécutables

    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-03