Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

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

12 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Abstraction and mining of traces to explain concurrency bugs
    Tabaei Befrouei, Mitra ; Wang, Chao ; et al.
    In: Formal Methods in System Design: An International Journal, Jg. 49 (2016-10-01), Heft 1-2, S. 1-32
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Debug-localize-repair: a symbiotic construction for heap manipulations
    Verma, Sahil ; Roy, Subhajit
    In: Formal Methods in System Design: An International Journal, Jg. 58 (2021-11-01), Heft 3, S. 399-439
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Synthesizing adaptive test strategies from temporal logic specifications
    Bloem, Roderick ; Fey, Goerschwin ; et al.
    In: Formal Methods in System Design: An International Journal, Jg. 55 (2019-12-01), Heft 2, S. 103-135
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Automatic analysis of DMA races using model checking and k-induction
    Donaldson, Alastair F. ; Kroening, Daniel ; et al.
    In: Formal Methods in System Design: An International Journal, Jg. 39 (2011-08-01), Heft 1, S. 83-113
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    From non-preemptive to preemptive scheduling using synchronization synthesis
    Černý, Pavol ; Clarke, Edmund M. ; et al.
    In: Formal Methods in System Design: An International Journal, Jg. 50 (2017-06-01), Heft 2-3, S. 97-139
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    Z3str2: an efficient solver for strings, regular expressions, and length constraints
    Zheng, Yunhui ; Ganesh, Vijay ; et al.
    In: Formal Methods in System Design: An International Journal, Jg. 50 (2017-06-01), Heft 2-3, S. 249-288
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Bounded underapproximations
    Ganty, Pierre ; Majumdar, Rupak ; et al.
    In: Formal Methods in System Design: An International Journal, Jg. 40 (2012-04-01), Heft 2, S. 206-231
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    Full simulation coverage for SystemC transaction-level models of systems-on-a-chip
    Helmstetter, C. ; Maraninchi, F. ; et al.
    In: Formal Methods in System Design: An International Journal, Jg. 35 (2009-10-01), Heft 2, S. 152-189
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    Reducing concurrent analysis under a context bound to sequential analysis
    Lal, Akash ; Reps, Thomas
    In: Formal Methods in System Design: An International Journal, Jg. 35 (2009-08-01), Heft 1, S. 73-97
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    A Formal Framework for Verification of Embedded Custom Memories of the Motorola MPC7450 Microprocessor
    Bhadra, Jayanta ; Martin, Andrew K. ; et al.
    In: Formal Methods in System Design: An International Journal, Jg. 27 (2005-09-01), Heft 1-2, S. 67-112
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    An Efficient Partial Order Reduction Algorithm with an Alternative Proviso Implementation
    Nalumasu, Ratan ; Gopalakrishnan, Ganesh
    In: Formal Methods in System Design: An International Journal, Jg. 20 (2002-05-01), Heft 3, S. 231-247
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    Formal Methods in Designing Embedded Systems—the SACRES Experience
    Winkelmann, Klaus
    In: Formal Methods in System Design: An International Journal, Jg. 19 (2001-07-01), Heft 1, S. 81-110
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -