# Non-Deterministic Formal Modeling of Registration System towards Smart Campus

> Research article (2018 12th International Conference on Mathematics, Actuarial Science, Computer Science and Statistics (MACS), 2018) · cited 11× · AI/ML

**Wikidata**: [openalex:W2914563120](https://www.wikidata.org/wiki/openalex:W2914563120)  
**Source**: https://4ort.xyz/entity/non-deterministic-formal-modeling-of-registration-system-towards-smart-campus