• 1 Citations
20182018
If you made any changes in Pure these will be visible here soon.

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 2018 2018

  • 1 Citations
  • 1 Conference contribution
1 Citations

Pitfalls in applying model learning to industrial legacy software

al Duhaiby, O., Mooij, A., van Wezep, H. & Groote, J. F., 30 Oct 2018, Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice - 8th International Symposium, ISoLA 2018, Proceedings. Margaria, T. & Steffen, B. (eds.). Cham: Springer, p. 121-138 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11247 LNCS)

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Software
Model
Healthcare
Open Problems
Industry

Courses

Computer systems

1/09/09 → …

Course