Using Formal Methods to Model a Smart School System via TLA+ and its TLC Model Checker for Validation
Article in Advances in Science Technology and Engineering Systems Journal (April 2021)
The most recent citing publications are shown below. View all 6 publications that cite this research output on Dimensions.
Article in Advances in Science Technology and Engineering Systems Journal (April 2021)
Conference proceeding (March 2020)
Article in Software Practice and Experience (September 2018)