共 50 条
- [11] A tool for a formal pattern modeling language FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2006, 4260 : 568 - +
- [13] A tool for a formal pattern modeling language Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2006, 4260 LNCS : 568 - 587
- [16] Formal modeling of software quality with xNoFun language Proceedings of the Second IASTED International Multi-Conference on Automation, Control, and Information Technology - Software Engineering, 2005, : 48 - 53
- [17] A formal approach to collaborations in the Unified Modeling Language UML'99 - THE UNIFIED MODELING LANGUAGE: BEYOND THE STANDARD, 1999, 1723 : 99 - 115
- [20] Modeling nasopharyngeal carcinoma in three dimensions ONCOLOGY LETTERS, 2017, 13 (04) : 2034 - 2044