[IEEE 2012 IEEE International Conference on Information Science and Technology (ICIST) - Wuhan, China (2012.03.23-2012.03.25)] 2012 IEEE International Conference on Information Science and Technology - Comparative study of formal specifications through a case study

• 作者Yusufu, Munina; Yusufu, Gulina
• 文件大小507.10KB
• 发表时间2012
• DOI10.1109/icist.2012.6221659
• 页码318-321