Zum Inhalt springen

  1. Lisper, Björn; Nordlander, Johan

    Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies: A Simple and Flexible Timing Constraint Logic

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer Berlin Heidelberg, 2012

    Erschienen in: Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies

  2. Lisper, Björn; Nordlander, Johan; Quinton, Sophie

    Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies: Timing Constraints: Theory Meets Practice

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer Berlin Heidelberg, 2012

    Erschienen in: Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies

  3. Svensson, Leif; Isson, Leif; Axelsson, Christer; Nordlander, Rolf; Herlitz, Johan

    Predictors of myocardial damage prior to hospital admission among patients with acute chest pain or other symptoms raising a suspicion of acute coronary syndrome

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Ovid Technologies (Wolters Kluwer Health), 2003

    Erschienen in: Coronary Artery Disease