Formal Modeling with Verification of Smart Courtroom Building System (SMCBS) Using UML and TLA+ Specification
Authors
Shahbaz Ahmad
Department of Computer Science & Information Technology, Faculty of Computing, The Islamia University Bahawalpur, Bahawalpur, Pakistan
Nadeem Akhtar
Department of Computer Science & Information Technology, Faculty of Computing, The Islamia University Bahawalpur, Bahawalpur, Pakistan
Adeel Ahmad
Department of Computer Science & Information Technology, Faculty of Computing, The Islamia University Bahawalpur, Bahawalpur, Pakistan
Saima Abdulla
Department of Computer Science & Information Technology, Faculty of Computing, The Islamia University Bahawalpur, Bahawalpur, Pakistan
Saman Iftikhar
Faculty of Computer Studies, Arab Open University, Saudi Arabia
DOI: https://doi.org/10.2478/ijssis-2026-0016 | Journal eISSN: 1178-5608
Language: English
Submitted on: Jul 4, 2024
Published on: Mar 12, 2026
Published by: Macquarie University, Australia
In partnership with: Paradigm Publishing Services
Publication frequency: 1 issue per year
Keywords:
Related subjects:
© 2026 Shahbaz Ahmad, Nadeem Akhtar, Adeel Ahmad, Saima Abdulla, Saman Iftikhar, published by Macquarie University, Australia
This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License.