# System States Transition Safety Analysis Method Based on FSM and NuSMV

> Research article (Proceedings of the 2018 2nd International Conference on Management Engineering, Software Engineering and Service Sciences, 2018) · cited 11× · AI/ML

**Wikidata**: [openalex:W2796827712](https://www.wikidata.org/wiki/openalex:W2796827712)  
**Source**: https://4ort.xyz/entity/system-states-transition-safety-analysis-method-based-on-fsm-and-nusmv