共 50 条
- [31] Feature diagrams: A survey and a formal semantics RE'06: 14TH IEEE INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE, PROCEEDINGS, 2006, : 139 - +
- [33] Formal Feature Analysis of Hybrid Automata 2016 ACM/IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR SYSTEM DESIGN (MEMOCODE), 2016, : 2 - 11
- [39] Formal models and prototyping REQUIREMENTS TARGETING SOFTWARE AND SYSTEMS ENGINEERING, 1998, 1526 : 257 - 272