Madhusmita Das, Biju R. Mohan, Ram Mohana Reddy Guddeti. Formal Specification and Verification of Drone System using TLA+: A Case Study. In Shu-Ching Chen, Her-Terng Yau, Roland Stenzel, Hsiung-Cheng Lin, editors, 24th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD Winter 2022, Taichung, Taiwan, December 7-9, 2022. pages 156-161, IEEE, 2022. [doi]
Abstract is missing.