Výsledky vyhľadávania - "Models of Computation—automata"

  • Zobrazené výsledky 1 - 3 z 3
Upresniť hľadanie
  1. 1
    Obálka

    Learning Communicating Automata from MSCs Autor Bollig, Benedikt, Katoen, Joost-Pieter, Kern, Carsten, Leucker, Martin

    ISSN: 0098-5589, 1939-3520
    Vydavateľské údaje: New York IEEE 01.05.2010
    “…This paper is concerned with bridging the gap between requirements and distributed systems. Requirements are defined as basic message sequence charts (MSCs)…”
    Získať plný text
    Journal Article
    Pridať do obľúbených
    Uložené v:
  2. 2
    Obálka

    Enforceable security policies Autor Schneider, F.B.

    ISBN: 9780769520575, 076952057X
    Vydavateľské údaje: IEEE 2003
    Získať plný text
    Konferenčný príspevok..
    Pridať do obľúbených
    Uložené v:
  3. 3
    Obálka

    RESETting Timed Machines Autor Stulman, Ariel

    ISSN: 1330-1136, 1846-3908
    Vydavateľské údaje: Zagreb University Computing Centre 01.03.2011
    “…Many real-time applications enable RESET to account for all kinds of unexpected problems, or to accommodate for a users' want of restarting. Additionally, some…”
    Získať plný text
    Journal Article Paper
    Pridať do obľúbených
    Uložené v:

Vyhľadávacie nástroje: