共 24 条
[1]
Model Checking Goal-Oriented Requirements for Self-Adaptive Systems
[J].
2012 IEEE 19TH INTERNATIONAL CONFERENCE AND WORKSHOPS ON ENGINEERING OF COMPUTER BASED SYSTEMS (ECBS),
2012,
:33-42
[2]
[Anonymous], 2017, RIVER PUBLISHER SERI
[3]
[Anonymous], 2017, P AS SIM C
[4]
[Anonymous], P INT C ART INT ICAI
[5]
[Anonymous], 2017, P S APPL COMPUTING
[6]
Modeling BitTorrent choking algorithm using game theory
[J].
FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE,
2016, 55
:255-265
[7]
Baier C, 2008, PRINCIPLES OF MODEL CHECKING, P1
[8]
Balasubramaniam S, 2015, IEEE INT ADV COMPUT, P558, DOI 10.1109/IADCC.2015.7154769