共 50 条
- [32] Policy conflict detection method based on model checking [J]. Wu, D, 1600, Univ. of Electronic Science and Technology of China (42):
- [35] Data flow testing as model checking [J]. 25TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, PROCEEDINGS, 2003, : 232 - 242
- [36] Model-checking processes with data [J]. SCIENCE OF COMPUTER PROGRAMMING, 2005, 56 (03) : 251 - 273
- [37] Model Checking for Data Anomaly Detection [J]. KNOWLEDGE-BASED AND INTELLIGENT INFORMATION & ENGINEERING SYSTEMS (KES 2019), 2019, 159 : 1277 - 1286
- [38] Model Checking Languages of Data Words [J]. FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES, FOSSACS 2012, 2012, 7213 : 391 - 405
- [40] Bayesian Estimation with Combined Empirical Prior Distribution for a Multinomial Logit Model [J]. REVIEW OF SOCIONETWORK STRATEGIES, 2015, 9 (02): : 59 - 74