Falk Howar, Karl Meinke, Andreas Rausch
Learning Systems: Machine-Learning in Software Products and Learning-Based Analysis of Software Systems
HMR+2016
Journal
Proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2016)
Jahr
2016
Ort
Corfu, Greece