Zum Inhalt springen 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 > Links ... zur Hochschulschrift 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
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 > Links ... zur Hochschulschrift 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
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
> Fachgebiet Skip to next facet Informatik (1) Wert ausschließen Mathematik (1) Wert ausschließen zeige weitere weniger zeigen
> Person/Institution Skip to next facet Aït-Ameur, Yamine (1) Wert ausschließen Crégut, Xavier (1) Wert ausschließen Toulouse, INPT (1) Wert ausschließen Zalila, Faiez (1) Wert ausschließen zeige weitere weniger zeigen
> Kollektion Skip to next facet BASE - Bielefeld Academic Search Engine (1) Wert ausschließen theses.fr (1) Wert ausschließen zeige weitere weniger zeigen