Davide Basile 0001, Franco Mazzanti. Comparing Model Checking and Model-Based Simulation. In Maurice H. ter Beek, Simon Collart Dutilleul, Thierry Lecomte, editors, Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - 6th International Conference, RSSRail 2025, Pisa, Italy, November 26-28, 2025, Proceedings. Volume 16236 of Lecture Notes in Computer Science, pages 135-154, Springer, 2025. [doi]
No references recorded for this publication.
No citations of this publication recorded.