Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

Artikel & mehr
11 Treffer

Suchmaske

Suchtipp für den Bereich Artikel & mehr: Wörter werden automatisch mit UND verknüpft. Eine ODER-Verknüpfung erreicht man mit dem Zeichen "|", eine NICHT-Verknüpfung mit einem "-" (Minus) vor einem Wort. Anführungszeichen ermöglichen eine Phrasensuche.
Beispiele: (burg | schloss) -mittelalter, "berufliche bildung"

Das folgende Suchfeld wird hier nicht unterstützt: "Signatur / Strichcode".

Suchergebnisse einschränken oder erweitern

Aktive Suchfilter

Erscheinungszeitraum

Mehr Treffer

Weniger Treffer

Gefunden in

Art der Quelle

Schlagwort

11 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Encodage Efficace des Systèmes Critiques pour la Vérificaton Formelle par Model Checking à base de Solveurs SAT
    Baud-Berthier, Guillaume
    2018
    Hochschulschrift
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Réflexions autour de la méthodologie de vérification des circuits multi-horloges : analyse qualitative et automatisation
    Kebaili, Mejid
    2017
    Hochschulschrift
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    EMI - An approach to unify analysis and embedded execution with a controllable model interpreter ; EMI - Une approche pour unifier l’analyse et l’exécution embarquée à l’aide d’un interpréteur de modèles pilotable : application aux modèles UML des systèmes embarqués
    Besnard, Valentin ; Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (Lab-STICC) ; et al.
    In: https://theses.hal.science/tel-03371484 ; Génie logiciel [cs.SE]. ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne, 2020. Français. ⟨NNT : 2020ENTA0007⟩, 2020
    Online Hochschulschrift
    Zugriff:
    Volltext
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    EMI - Une approche pour unifier l’analyse et l’exécution embarquée à l’aide d’un interpréteur de modèles pilotable : application aux modèles UML des systèmes embarqués ; EMI - An approach to unify analysis and embedded execution with a controllable model interpreter
    Besnard, Valentin ; Brest, École nationale supérieure de techniques avancées Bretagne ; et al.
    2020
    Hochschulschrift
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    EMI : An approach to unify analysis and embedded execution with a controllable model interpreter - Application to UML models of embedded systems ; EMI : Une approche pour unifier l’analyse et l’exécution embarquée à l’aide d’un interpréteur de modèles pilotable - Application aux modèles UML des systèmes embarqués
    Besnard, Valentin ; (ÉRIS), ESEO-ÉRIS ; et al.
    In: https://hal.archives-ouvertes.fr/tel-03150281 ; Systèmes embarqués. ENSTA Bretagne, 2020. Français, 2020
    Online Hochschulschrift
    Zugriff:
    Volltext
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    Encodage Efficace des Systèmes Critiques pour la Vérificaton Formelle par Model Checking à base de Solveurs SAT ; Effective Encoding of Critical Systems for SAT-Based Model Checking.
    Baud-Berthier, Guillaume ; Bordeaux ; et al.
    2018
    Hochschulschrift
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Effective Encoding of Critical Systems for SAT-Based Model Checking. ; Encodage Efficace des Systèmes Critiques pour la Vérificaton Formelle par Model Checking à base de Solveurs SAT
    Baud-Berthier, Guillaume ; Laboratoire Bordelais de Recherche en Informatique (LaBRI) ; et al.
    In: https://tel.archives-ouvertes.fr/tel-01977945 ; Autre [cs.OH]. Université de Bordeaux, 2018. Français. ⟨NNT : 2018BORD0147⟩, 2018
    Online Hochschulschrift
    Zugriff:
    Volltext
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    Méthode de conception de logiciel système critique couplée à une démarche de vérification formelle
    Methni, Amira
    2016
    Hochschulschrift
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    Reflections on the methodology for verifying multi-clock design : qualitative analysis and automation ; Réflexions autour de la méthodologie de vérification des circuits multi-horloges : analyse qualitative et automatisation
    Kebaili, Mejid ; Techniques de l'Informatique et de la Microélectronique pour l'Architecture des systèmes intégrés (TIMA) ; et al.
    In: https://theses.hal.science/tel-01742976 ; Micro et nanotechnologies/Microélectronique. Université Grenoble Alpes, 2017. Français. ⟨NNT : 2017GREAT064⟩, 2017
    Online Hochschulschrift
    Zugriff:
    Volltext
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    Réflexions autour de la méthodologie de vérification des circuits multi-horloges : analyse qualitative et automatisation ; Reflections on the methodology for verifying multi-clock design : qualitative analysis and automation
    Kebaili, Mejid ; Université Grenoble Alpes (ComUE) ; et al.
    2017
    Hochschulschrift
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    Méthode de conception de logiciel système critique couplée à une démarche de vérification formelle ; A method for designing critical software system coupled with a formal verification approach
    Methni, Amira ; Paris, CNAM ; et al.
    2016
    Hochschulschrift
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -