Formal Methods and Software Engineering: 25th International Conference on Formal
66,43 €
The 22 full papers presented were carefully reviewed and selected from 50 submissions. - Repairing Event-B Models through Quantifier Elimination. - Tuning Trains Speed in Railway Scheduling. - LRNN: A Formal Logic Rules-Based Neural Network for Software Defect Prediction.
Jetzt bei Ebay:
