共 50 条
- [21] Distributed Optimization Design Based on Passivity Technique 2016 12TH IEEE INTERNATIONAL CONFERENCE ON CONTROL AND AUTOMATION (ICCA), 2016, : 732 - 737
- [22] HIPO - a Design and Documentation Technique for Complex Programs. Angewandte Informatik/Applied Informatics, 1976, 18 (04): : 175 - 178
- [23] SHIP DESIGN COMPUTER PROGRAMS - AN INTERPOLATIVE TECHNIQUE. Naval Engineers Journal, 1986, 98 (03): : 74 - 87
- [26] Analysis of structured programs Proceedings of the Annual ACM Symposium on Theory of Computing, 1973, : 240 - 252