Výsledky vyhľadávania - computing methodologies/artificial intelligence/learning/induction

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

“…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