Runtime verification on abstract finite state models
Article in Journal of Systems and Software (June 2024)
The most recent citing publications are shown below. View all 36 publications that cite this research output on Dimensions.
Article in Journal of Systems and Software (June 2024)
Article in Smart Grids and Sustainable Energy (March 2024)
Article in Global Change Biology (February 2023)