共 50 条
- [22] A High-Level Language for Modeling Algorithms and Their Properties [J]. FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, 2011, 6527 : 49 - +
- [25] High-level student modeling with machine learning [J]. INTELLIGENT TUTORING SYSTEMS, PROCEEDINGS, 2000, 1839 : 584 - 593
- [27] High-Level Modeling and Synthesis for Embedded FPGAs [J]. DESIGN, AUTOMATION & TEST IN EUROPE, 2013, : 1565 - 1570
- [29] Interactive modeling by procedural high-level primitives [J]. COMPUTERS & GRAPHICS-UK, 2012, 36 (05): : 376 - 386
- [30] High-Level Modeling and Application Validation for SDN [J]. NOMS 2016 - 2016 IEEE/IFIP NETWORK OPERATIONS AND MANAGEMENT SYMPOSIUM, 2016, : 197 - 205