共 50 条
- [3] A graphical μ-calculus and local model checking Journal of Computer Science and Technology, 2002, 17 : 665 - 671
- [4] Model checking with graphical validation rules FIFTEENTH IEEE INTERNATIONAL CONFERENCE AND WORKSHOPS ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS, 2008, : 117 - 125
- [5] Model checking graphical user interfaces using abstractions SOFTWARE ENGINEERING - ESEC/FSE '97, 1997, 1301 : 244 - 261
- [8] A Graphical Approach to Component-Based and Extensible Model Checking Platforms TRANSACTIONS ON PETRI NETS AND OTHER MODELS OF CONCURRENCY V, 2012, 6900 : 265 - 291
- [9] An Interpretable Joint Graphical Model for Fact-Checking from Crowds THIRTY-SECOND AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTIETH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE / EIGHTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2018, : 1511 - 1518