Replaying Play In and Play Out: Synthesis of Design Models from Scenarios by Learning
From MaRDI portal
Publication:5758124
DOI10.1007/978-3-540-71209-1_33zbMath1186.68106OpenAlexW2166917330MaRDI QIDQ5758124
Carsten Kern, Martin Leucker, Benedikt Bollig, Joost-Pieter Katoen
Publication date: 3 September 2007
Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-71209-1_33
Formal languages and automata (68Q45) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items