A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Filters
Model Learning and Model-Based Testing
[chapter]
2018
Lecture Notes in Computer Science
Preserved Fulltext
Formal Methods for Eternal Networked Software Systems -11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18 ...
5-8, 2012, volume 21 of JMLR Proceedings, pages 4-18. ...
doi:10.1007/978-3-319-96562-8_3
fatcat:qrz24l2twrh5rp7ltpyxo4ooii