System States Transition Safety Analysis Method Based on FSM and NuSMV
Conference proceeding (January 2018)
The most recent citing publications are shown below. View all 4 publications that cite this research output on Dimensions.
Conference proceeding (January 2018)
Article in Annals of Data Science (August 2016)
Article in Journal of Parallel and Distributed Computing (February 2015)