共 50 条
- [1] Design verification in model-based μ-controller development using an abstract component SOFTWARE AND SYSTEMS MODELING, 2011, 10 (01): : 91 - 115
- [2] Student Research Abstract: A Toolchain for Model-Based Development of a Robot Application PROCEEDINGS OF THE 35TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING (SAC'20), 2020, : 1510 - 1513
- [3] Design verification in model-based μ-controller development using an abstract component Software & Systems Modeling, 2011, 10 : 91 - 115
- [5] Abstract Interpretation of Programs for Model-Based Debugging 20TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2007, : 471 - 476
- [6] Model-based Derivation and Refinement of Abstract Programs Denki Gakkai Ronbunshi. C, Erekutoronikusu Joho Kogaku, Shisutemu, 1995, 115 (08):
- [7] Development of class models for model-based automatic target recognition ALGORITHMS FOR SYNTHETIC APERTURE RADAR IMAGERY VI, 1999, 3721 : 650 - 660