Formal Modeling with Verification of Smart Courtroom Building System (SMCBS) Using UML and TLA+ Specification
Download Article
Download the full article as a PDF file.
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.