Representation of Raspberry PI Practice in Z Notation
Wen Jinjie, Guo Yang & Zhao Zhengxu · Current Journal of Applied Science and Technology · 2016
The maker is the pioneer of open source, and the open hardware is the essential tools for the makers. As the typical representative of the open hardware, Raspberry Pi has been widely applied in open source since 2012. Z notation is a formal specification language based on the set...
Open access
Research Article
10.9734/BJAST/2016/25211