Suchergebnisse
Katalog
Aufsätze & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Art der Quelle
Thema
- [info.info-mo]computer science [cs]/modeling and simulation 73 Treffer
- [info.info-dc]computer science [cs]/distributed 47 Treffer
- [info.info-iu]computer science [cs]/ubiquitous computing 47 Treffer
- and cluster computing [cs.dc] 47 Treffer
- parallel 47 Treffer
-
45 weitere Werte:
- [info.info-ma]computer science [cs]/multiagent systems [cs.ma] 46 Treffer
- [info.info-et]computer science [cs]/emerging technologies [cs.et] 45 Treffer
- [info.info-cr]computer science [cs]/cryptography and security [cs.cr] 41 Treffer
- verification 13 Treffer
- test 10 Treffer
- sysml 9 Treffer
- methodes formelles 8 Treffer
- uml/ocl 8 Treffer
- validation 8 Treffer
- [info]computer science [cs] 7 Treffer
- modelisation 7 Treffer
- acm: d.: software/d.2: software engineering/d.2.5: testing and debugging 5 Treffer
- decision procedures 5 Treffer
- formal methods 5 Treffer
- formal verification 5 Treffer
- java modeling language 5 Treffer
- meca 5 Treffer
- model-based testing 5 Treffer
- synchronisation 5 Treffer
- synchronization 5 Treffer
- test de conformite 5 Treffer
- verification formelle 5 Treffer
- [info.info-cl]computer science [cs]/computation and language [cs.cl] 4 Treffer
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 4 Treffer
- [info.info-hc]computer science [cs]/human-computer interaction [cs.hc] 4 Treffer
- acm: d.: software/d.2: software engineering/d.2.1: requirements/specifications 4 Treffer
- adaptation 4 Treffer
- analyse dynamique 4 Treffer
- analyse statique 4 Treffer
- combinaison 4 Treffer
- combination 4 Treffer
- components 4 Treffer
- composition 4 Treffer
- controle d'acces 4 Treffer
- datacenter 4 Treffer
- dynamic analysis 4 Treffer
- energies renouvelables 4 Treffer
- frama-c 4 Treffer
- generation de tests a partir de modeles 4 Treffer
- ingenierie dirigee par les modeles (idm) 4 Treffer
- model checking 4 Treffer
- modeling 4 Treffer
- politique de securite 4 Treffer
- preuve 4 Treffer
- prevision 4 Treffer
Verlag
Publikation
- issn: 1265-1397 7 Treffer
- issn: 0752-4072 ; eissn: 2116-5920 5 Treffer
- conference d'informatique en parallelisme, architecture et systeme (compas 2023) ; https://hal.science/hal-04257319 ; conference d'informatique en parallelisme, architecture et systeme (compas 2023), laboratoire d'informatique, systemes, traitement de l'information et de la connaissance (listic) - universite savoie mont blanc, jul 2023, annecy, france ; https://2023.compas-conference.fr/ 2 Treffer
- issn: 2264-6949 2 Treffer
- 24e congres annuel de la societe francaise de recherche operationnelle et d'aide a la decision (roadef 2023) ; https://hal.science/hal-04257320 ; 24e congres annuel de la societe francaise de recherche operationnelle et d'aide a la decision (roadef 2023), societe francaise de recherche operationnelle et d'aide a la decision, feb 2023, rennes, france ; https://roadef2023.sciencesconf.org/ 1 Treffer
- Ein weiterer Wert:
Geographischer Bezug
Inhaltsanbieter
133 Treffer
-
In: FUTURMOB ; https://hal.science/hal-02472607 ; FUTURMOB, Sep 2017, Montbéliard, France, 2017Online KonferenzZugriff:
-
In: 25ème Congrès annuel de l'association française de Recherche Opérationnelle et d’Aide à la Décision (ROADEF 2024) ; https://hal.science/hal-04528358 ; 25ème Congrès annuel de l'association française de Recherche Opérationnelle et d’Aide à la Décision (ROADEF 2024), Association française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF); Université de Picardie Jules Verne (UPJV), Mar 2024, Amiens, France ; https://roadef2024.sciencesconf.org/, 2024Online KonferenzZugriff:
-
In: 25ème Congrès annuel de l'association française de Recherche Opérationnelle et d’Aide à la Décision (ROADEF 2024) ; https://hal.science/hal-04528358 ; 25ème Congrès annuel de l'association française de Recherche Opérationnelle et d’Aide à la Décision (ROADEF 2024), Association française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF); Université de Picardie Jules Verne (UPJV), Mar 2024, Amiens, France ; https://roadef2024.sciencesconf.org/, 2024Online KonferenzZugriff:
-
In: Conférence d’informatique en Parallélisme, Architecture et Système (COMPAS 2023) ; https://hal.science/hal-04257319 ; Conférence d’informatique en Parallélisme, 2023Online KonferenzZugriff:
-
In: 24ème Congrès annuel de l'association française de Recherche Opérationnelle et d’Aide à la Décision (ROADEF 2023) ; https://hal.science/hal-04257320 ; 24ème Congrès annuel de l'association française de Recherche Opérationnelle et d’Aide à la Décision (ROADEF 2023), Association Française de Recherche Opérationnelle et d’Aide à la Décision, Feb 2023, Rennes, France ; https://roadef2023.sciencesconf.org/, 2023Online KonferenzZugriff:
-
In: Conférence d’informatique en Parallélisme, Architecture et Système (COMPAS 2023) ; https://hal.science/hal-04257319 ; Conférence d’informatique en Parallélisme, 2023Online KonferenzZugriff:
-
In: 24ème Congrès annuel de l'association française de Recherche Opérationnelle et d’Aide à la Décision (ROADEF 2023) ; https://hal.science/hal-04257320 ; 24ème Congrès annuel de l'association française de Recherche Opérationnelle et d’Aide à la Décision (ROADEF 2023), Association Française de Recherche Opérationnelle et d’Aide à la Décision, Feb 2023, Rennes, France ; https://roadef2023.sciencesconf.org/, 2023Online KonferenzZugriff:
-
In: 24e Congrès annuel de la société Française de Recherche Opérationnelle et d’Aide à la Décision (ROADEF 2023) ; https://hal.science/hal-04257320 ; 24e Congrès annuel de la société Française de Recherche Opérationnelle et d’Aide à la Décision (ROADEF 2023), Société Française de Recherche Opérationnelle et d’Aide à la Décision, Feb 2023, Rennes, France ; https://roadef2023.sciencesconf.org/, 2023Online KonferenzZugriff:
-
In: Conférence d’informatique en Parallélisme, Architecture et Système (COMPAS 2023) ; https://hal.science/hal-04257319 ; Conférence d’informatique en Parallélisme, 2023Online KonferenzZugriff:
-
In: Conférence d’informatique en Parallélisme, Architecture et Système (COMPAS 2023) ; https://hal.science/hal-04257319 ; Conférence d’informatique en Parallélisme, 2023Online KonferenzZugriff:
-
In: 24ème Congrès annuel de l'association française de Recherche Opérationnelle et d’Aide à la Décision (ROADEF 2023) ; https://hal.science/hal-04257320 ; 24ème Congrès annuel de l'association française de Recherche Opérationnelle et d’Aide à la Décision (ROADEF 2023), Association Française de Recherche Opérationnelle et d’Aide à la Décision, Feb 2023, Rennes, France ; https://roadef2023.sciencesconf.org/, 2023Online KonferenzZugriff:
-
In: Approches Formelles dans l'Assistance au Développement de Logiciels ; https://inria.hal.science/hal-01155626 ; Dadeau, Frédéric; Le Gall, Pascale. Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2015, Bordeaux, France. , pp.88, 2015Online KonferenzZugriff:
-
In: Approches Formelles dans l'Assistance au Développement de Logiciels ; https://inria.hal.science/hal-01155626 ; Dadeau, Frédéric; Le Gall, Pascale. Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2015, Bordeaux, France. , pp.88, 2015Online KonferenzZugriff:
-
In: Approches Formelles dans l'Assistance au Développement de Logiciels ; https://inria.hal.science/hal-01155626 ; Dadeau, Frédéric; Le Gall, Pascale. Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2015, Bordeaux, France. , pp.88, 2015Online KonferenzZugriff:
-
In: Approches Formelles dans l'Assistance au Développement de Logiciels ; https://hal.inria.fr/hal-01155626 ; Dadeau, Frédéric; Le Gall, Pascale. Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2015, Bordeaux, France. pp.88, 2015 ; http://events.femto-st.fr/afadl-2015; (2015)Online BuchZugriff:
-
In: 10èmes Journées Francophones Internationales sur les Approches Formelles dans l'Assistance au Développement de Logiciels - AFADL'10 ; https://hal.science/hal-00563329 ; 10èmes Journées Francophones Internationales sur les Approches Formelles dans l'Assistance au Développement de Logiciels - AFADL'10, Jun 2010, Poitiers, France. pp.11--25, 2010Online KonferenzZugriff:
-
In: 10èmes Journées Francophones Internationales sur les Approches Formelles dans l'Assistance au Développement de Logiciels - AFADL'10 ; https://hal.archives-ouvertes.fr/hal-00563329 ; 10èmes Journées Francophones Internationales sur les Approches Formelles dans l'Assistance au Développement de Logiciels - AFADL'10, Jun 2010, Poitiers, France. pp.11--25, 2010Online KonferenzZugriff:
-
In: AFADL'09, Approches Formelles dans l'Assistance au Développement de Logiciels ; https://hal.science/hal-00563327 ; AFADL'09, 2009Online KonferenzZugriff:
-
In: AFADL'09, Approches Formelles dans l'Assistance au Développement de Logiciels ; https://hal.archives-ouvertes.fr/hal-00563327 ; AFADL'09, 2009Online KonferenzZugriff:
-
In: AFADL'09, Approches Formelles dans l'Assistance au Développement de Logiciels ; https://hal.science/hal-00563327 ; AFADL'09, 2009Online KonferenzZugriff: