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