Suchergebnisse - computing methodologies/artificial intelligence/learning/induction

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

    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
    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: