Search Results - computing methodologies/artificial intelligence/learning/induction

Learning Communicating Automata from MSCs by 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)…”
Get full text