共 50 条
- [1] Generating code from hierarchical state-based requirements [J]. RE '97 - PROCEEDINGS OF THE THIRD IEEE INTERNATIONAL SYMPOSIUM ON REQUIREMENTS ENGINEERING, 1997, : 210 - 219
- [2] Generating test data from state-based specifications [J]. SOFTWARE TESTING VERIFICATION & RELIABILITY, 2003, 13 (01): : 25 - 53
- [6] A state-based model of sensor protocols [J]. PRINCIPLES OF DISTRIBUTED SYSTEMS, 2006, 3974 : 246 - +
- [9] A state-based model for certificate management systems [J]. PUBLIC KEY CRYTOGRAPHY, 2000, 1751 : 75 - 92
- [10] Evaluation of a state-based model of feature interactions [J]. FEATURE INTERACTIONS IN TELECOMMUNICATION NETWORKS IV, 1997, : 153 - 167