External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Formal Specification and Verification of Drone System using TLA+: A Case Study

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]

Authors

Madhusmita Das

This author has not been identified. Look up 'Madhusmita Das' in Google

Biju R. Mohan

This author has not been identified. Look up 'Biju R. Mohan' in Google

Ram Mohana Reddy Guddeti

This author has not been identified. Look up 'Ram Mohana Reddy Guddeti' in Google
runs on