Suchergebnisse - theory of computation/computation by abstract devices/models of computation/automata

Andere Suchmöglichkeiten:

  • Treffer 1 - 2 von 2
Treffer weiter einschränken
  1. 1

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

    ISSN: 0098-5589, 1939-3520
    Veröffentlicht: New York IEEE 01.05.2010
    Veröffentlicht in IEEE transactions on software engineering (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) …”
    Volltext
    Journal Article
  2. 2

    Strictly Temporally Periodic Points in Cellular Automata von Alberto Dennunzio, DI LENA, PIETRO, MARGARA, LUCIANO

    ISSN: 2075-2180
    Veröffentlicht: Open Publishing Association 13.08.2012
    Volltext
    Journal Article