![]() ![]() ![]() 6.Cai, C., Sun, J., Dobbie, G.: B-repair: repairing B-models using machine learning.In: Proceedings of Formal Methods and Software Engineering - 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, 12–16 November 2018, pp. 5.Bride, H., Dong, J., Dong, J.S., Hóu, Z.: Towards dependable and explainable machine learning using automated reasoning. ![]() In: Proceedings of Formal Methods and Software Engineering - 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, 14–18 November 2016, pp. 4.Babin, G., Ameur, Y.A., Singh, N.K., Pantel, M.: A system substitution mechanism for hybrid systems in Event-B.Abrial J Butler MJ Hallerstede S Hoang TS Mehta F Voisin L Rodin: an open toolset for modelling and reasoning in Event-B Int. Abrial J The B-Book - Assigning Programs to Meanings 2005 Cambridge Cambridge University Press 0915.68015 Google Scholar Digital Library Abreu R Zoeteweij P Golsteijn R van Gemund AJC A practical evaluation of spectrum-based fault localization J.
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. Archives
May 2023
Categories |