Zum Inhalt springen

  1. Buchholtz, Mikael; Gilmore, Stephen; Haenel, Valentin; Montangero, Carlo

    FM 2005: Formal Methods: End-to-End Integrated Security and Performance Analysis on the DEGAS Choreographer Platform

    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, 2005

    Erschienen in: FM 2005: Formal Methods

  2. Gilmore, Stephen; Haenel, Valentin; Kloul, Leïla; Maidl, Monika

    Lecture Notes in Computer Science: Choreographing Security and Performance Analysis for Web Services

    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, 2005

    Erschienen in: Lecture Notes in Computer Science

  3. Gilmore, Stephen; Haenel, Valentin; Hillston, Jane; Kloul, Leïla

    Lecture Notes in Computer Science: PEPA Nets in Practice: Modelling a Decentralised Peer-to-Peer Emergency Medical Application

    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, 2004

    Erschienen in: Lecture Notes in Computer Science

  4. Markram, Henry; Muller, Eilif; Ramaswamy, Srikanth; Reimann, Michael W.; Abdellah, Marwan; Sanchez, Carlos Aguado; Ailamaki, Anastasia; Alonso-Nanclares, Lidia; Antille, Nicolas; Arsever, Selim; Kahou, Guy Antoine Atenekeng; Berger, Thomas K.; Bilgili, Ahmet; Buncic, Nenad; Chalimourda, Athanassia; Chindemi, Giuseppe; Courcol, Jean-Denis; Delalondre, Fabien; Delattre, Vincent; Druckmann, Shaul; Dumusc, Raphael; Dynes, James; Eilemann, Stefan; Gal, Eyal; [...]

    Reconstruction and Simulation of Neocortical Microcircuitry

    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.

    Elsevier BV, 2015

    Erschienen in: Cell