共 50 条
- [21] A metamodel-based approach to formalizing UML 25TH ANNUAL INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE, 2001, : 278 - 279
- [23] An Approach for Modeling and Formalizing SOA Design Patterns 2013 IEEE 22ND INTERNATIONAL WORKSHOP ON ENABLING TECHNOLOGIES: INFRASTRUCTURE FOR COLLABORATIVE ENTERPRISES (WETICE), 2013, : 330 - 335
- [24] ANOTHER APPROACH TO FORMALIZING THE POINT AND INTERVAL CALCULI INTERNATIONAL JOURNAL OF MAN-MACHINE STUDIES, 1991, 34 (05): : 703 - 716
- [25] Formalizing belief reports - The approach and a case study ARTIFICIAL INTELLIGENCE: METHODOLOGY SYSTEMS AND APPLICATIONS, 1998, 1480 : 62 - 75
- [30] SoK: A Minimalist Approach to Formalizing Analog Sensor Security 2020 IEEE SYMPOSIUM ON SECURITY AND PRIVACY (SP 2020), 2020, : 233 - 248