共 50 条
- [21] Behavioural specifications from class models INTEGRATED FORMAL METHODS, PROCEEDINGS, 2007, 4591 : 118 - 137
- [25] FROM ANNOTATED LOTOS SPECIFICATIONS TO QUEUING-NETWORKS - AUTOMATING PERFORMANCE MODELS DERIVATION DECENTRALIZED AND DISTRIBUTED SYSTEMS, 1993, 39 : 401 - 412
- [30] Integrating discrete and continuous phenomena models into practical advanced user interface specifications Proceedings of the IEEE Annual Simulation Symposium, 2000, : 309 - 316