Noridayu Adnan, Zarina Shukur, Wan Mariam Wan Muda. Formal Method of Z Specification for Basic Alcohol Level Detector. In 2019 International Conference on Electrical Engineering and Informatics, ICEEI 2019, Bandung, Indonesia, July 9-10, 2019. pages 134-139, IEEE, 2019. [doi]
Abstract is missing.