Electronic Communications of the EASST
is a peer-reviewed, scientific and open access journal
ISSN 1863-2122

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.