共 50 条
- [32] A logical framework for modeling and reasoning about the evolution of requirements RE '97 - PROCEEDINGS OF THE THIRD IEEE INTERNATIONAL SYMPOSIUM ON REQUIREMENTS ENGINEERING, 1997, : 247 - 257
- [33] A semantic framework for modeling and reasoning about reflective middleware IEEE Distributed Systems Online, 2001, 2 (06): : 1 - 16
- [34] Computational modeling for reasoning about the social behavior of humans Computational and Mathematical Organization Theory, 2009, 15 : 47 - 59
- [36] Modeling concepts for the integrated reasoning about complex systems ESM'2004: 18TH EUROPEAN SIMULATION MULTICONFERENCE: NETWORKED SIMULATIONS AND SIMULATED NETWORKS, 2004, : 193 - 202
- [38] Formal Modeling and Reasoning about the Android Security Framework TRUSTWORTHY GLOBAL COMPUTING, TGC 2013, 2013, 8358 : 64 - 81
- [39] Improved Approach on Modeling and Reasoning about PKI/WPKI 2010 6TH INTERNATIONAL CONFERENCE ON WIRELESS COMMUNICATIONS NETWORKING AND MOBILE COMPUTING (WICOM), 2010,
- [40] TBIM: A Language for Modeling and Reasoning about Business Plans CONCEPTUAL MODELING, ER 2013, 2013, 8217 : 33 - +