共 50 条
- [41] Efficient State Space Exploration: Interleaving Stateless and State-based Model Checking 2010 IEEE AND ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN (ICCAD), 2010, : 786 - 793
- [42] A state-based probabilistic model for tumor respiratory motion prediction PHYSICS IN MEDICINE AND BIOLOGY, 2010, 55 (24): : 7615 - 7631
- [43] A model, analysis, and protocol framework for soft state-based communication ACM SIGCOMM'99 CONFERENCE: APPLICATIONS, TECHNOLOGIES, ARCHITECTURES, AND PROTOCOLS FOR COMPUTER COMMUNICATIONS, 1999, 29 (04): : 15 - 25
- [46] CLEARANCE RATE REGULATION IN MUSSELS: ADDING THE EFFECT OF ORGANIC SESTON LEVEL TO A MODEL OF INTERNAL STATE-BASED REGULATION JOURNAL OF SHELLFISH RESEARCH, 2015, 34 (02): : 708 - 708
- [48] Automated Evaluation of Runtime Object States Against Model-Level States for State-Based Test Execution ICSTW 2009: IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION, AND VALIDATION WORKSHOPS, 2009, : 3 - +
- [50] Derivation of dual-horizon state-based peridynamics formulation based on Euler–Lagrange equation Continuum Mechanics and Thermodynamics, 2023, 35 : 841 - 861