共 50 条
- [12] Reasoning about polymorphic behavior TOOLS 26 - TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES - PROCEEDINGS, 1998, : 346 - 358
- [14] Modeling, Managing and Reasoning about Social Contexts for Socially-Aware Applications 2013 IEEE INTERNATIONAL CONFERENCE ON PERVASIVE COMPUTING AND COMMUNICATIONS WORKSHOPS (PERCOM WORKSHOPS), 2013, : 419 - 420
- [19] ON MODELING AND REASONING ABOUT HYBRID SYSTEMS IFIP TRANSACTIONS C-COMMUNICATION SYSTEMS, 1992, 8 : 115 - 129
- [20] Functional Modeling and Reasoning about Hazards 2022 6TH INTERNATIONAL CONFERENCE ON SYSTEM RELIABILITY AND SAFETY, ICSRS, 2022, : 217 - 225