Suchergebnisse
Katalog
Aufsätze & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Art der Quelle
Thema
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 4 Treffer
- analyse dynamique 4 Treffer
- analyse statique 4 Treffer
- dynamic analysis 4 Treffer
- formal methods 4 Treffer
-
13 weitere Werte:
- frama-c 4 Treffer
- methodes formelles 4 Treffer
- preuve 4 Treffer
- proof 4 Treffer
- static analysis 4 Treffer
- testing 4 Treffer
- [info]computer science [cs] 3 Treffer
- genie logiciel 3 Treffer
- modele 3 Treffer
- validation 3 Treffer
- verification 3 Treffer
- automates finis 2 Treffer
- developpement informatique 2 Treffer
Verlag
Sprache
Inhaltsanbieter
13 Treffer
-
In: https://inria.hal.science/hal-00645019 ; DUNOD, pp.304, 2011, 9782100566563; (2011)BuchZugriff:
-
In: https://inria.hal.science/hal-00645019 ; DUNOD, pp.304, 2011, 9782100566563; (2011)BuchZugriff:
-
In: https://hal.inria.fr/hal-00645019 ; DUNOD, pp.304, 2011, 9782100566563; (2011)BuchZugriff:
-
In: https://inria.hal.science/inria-00430538 ; Dunod, pp.266, 2009, Management des systèmes d'information, 978-2100515332; (2009)BuchZugriff:
-
In: https://inria.hal.science/inria-00430538 ; Dunod, pp.266, 2009, Management des systèmes d'information, 978-2100515332; (2009)BuchZugriff:
-
In: https://hal.inria.fr/inria-00430538 ; Dunod, pp.266, 2009, Management des systèmes d'information, 978-2100515332; (2009)BuchZugriff:
-
In: https://theses.hal.science/tel-00432301 ; Informatique [cs]. Université de Franche-Comté, 2009, 2009Online HochschulschriftZugriff:
-
In: https://theses.hal.science/tel-00432301 ; Informatique [cs]. Université de Franche-Comté, 2009, 2009Online HochschulschriftZugriff:
-
In: https://tel.archives-ouvertes.fr/tel-00432301 ; Informatique [cs]. Université de Franche-Comté, 2009, 2009Online HochschulschriftZugriff:
-
In: https://theses.hal.science/tel-01239352 ; Génie logiciel [cs.SE]. Université de Franche-Comté, 2015. Français. ⟨NNT : ⟩, 2015Online HochschulschriftZugriff:
-
In: https://theses.hal.science/tel-01239352 ; Génie logiciel [cs.SE]. Université de Franche-Comté, 2015. Français. ⟨NNT : ⟩, 2015Online HochschulschriftZugriff:
-
In: https://theses.hal.science/tel-01239352 ; Génie logiciel [cs.SE]. Université de Franche-Comté, 2015. Français. ⟨NNT : ⟩, 2015Online HochschulschriftZugriff:
-
In: https://tel.archives-ouvertes.fr/tel-01239352 ; Génie logiciel [cs.SE]. Université de Franche-Comté, 2015. Français, 2015Online HochschulschriftZugriff: