Gossen, Frederik, Lero - The Irish Software Research Centre, University of Limerick, Ireland
-
Volume 74: 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Doctoral Symposium, 2016 (ISoLA DS 2016) - Articles
Generating Optimal Decision Functions from Rule Specifications
Abstract PDF
Hosted By Universitätsbibliothek TU Berlin.