[IEEE 2016 IEEE 14th International Conference on Industrial Informatics (INDIN) - Poitiers, France (2016.7.19-2016.7.21)] 2016 IEEE 14th International Conference on Industrial Informatics (INDIN) - A study on user-friendly formal specification languages for requirements formalization
Pang, Cheng; Pakonen, Antti; Buzhinsky, Igor; Vyatkin, Valeriy
- 作者Pang, Cheng; Pakonen, Antti; Buzhinsky, Igor; Vyatkin, Valeriy
- 文件大小885.38KB
- 发表时间2016
- DOI10.1109/INDIN.2016.7819246
- 页码676-682