共 50 条
- [4] A graphical μ-calculus and local model checking Journal of Computer Science and Technology, 2002, 17 : 665 - 671
- [5] Model checking with graphical validation rules FIFTEENTH IEEE INTERNATIONAL CONFERENCE AND WORKSHOPS ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS, 2008, : 117 - 125
- [7] Checking unimodality using isotonic regression: an application to breast cancer mortality rates Stochastic Environmental Research and Risk Assessment, 2016, 30 : 1277 - 1288
- [9] EXPERIMENT DESIGN AND GRAPHICAL ANALYSIS FOR CHECKING ACCELERATION MODELS MICROELECTRONICS AND RELIABILITY, 1993, 33 (05): : 741 - 763
- [10] Model checking graphical user interfaces using abstractions SOFTWARE ENGINEERING - ESEC/FSE '97, 1997, 1301 : 244 - 261