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

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

    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
  2. 2

    Enforceable security policies Autor Schneider, F.B.

    ISBN: 9780769520575, 076952057X
    Vydavateľské údaje: IEEE 2003
    Získať plný text
    Konferenčný príspevok..
  3. 3

    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