Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

Artikel & mehr
4 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

4 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Real-time design patterns for the verification of safety-critical embedded systems in model-based approach
    Mzid, Rania
    In: The Journal of Supercomputing: An International Journal of High-Performance Computer Design, Analysis, and Use, Jg. 80 (2024-05-01), Heft 8, S. 11431-11473
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Model-Driven Approach for Early Power-Aware Design Space Exploration of Embedded Systems
    Abdallah, Feriel Ben ; Trabelsi, Chiraz ; et al.
    In: Journal of Signal Processing Systems: for Signal, Image, and Video Technology(formerly the Journal of VLSI Signal Processing Systems, Jg. 87 (2017-06-01), Heft 3, S. 271-286
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    A model-driven engineering framework for embedded systems design
    do Nascimento, Francisco Assis Moreira ; Oliveira, Marcio F. S. ; et al.
    In: Innovations in Systems and Software Engineering: A NASA Journal, Jg. 8 (2012-03-01), Heft 1, S. 19-33
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    A framework to specify system requirements using natural interpretation of UML/MARTE diagrams
    Khan, Aamir M. ; Mallet, Frédéric ; et al.
    In: Software & Systems Modeling, Jg. 18 (2019-02-01), Heft 1, S. 11-37
    Online academicJournal
    Zugriff:
    Volltext (PDF)
    View record at Springer (Volltext)
    Siehe Detailanzeige für Volltext
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -