共 50 条
- [1] Monitoring-based analysis of agriculture in Iraq [J]. XX INTERNATIONAL SCIENTIFIC SYMPOSIUM OF STUDENTS, POSTGRADUATES AND YOUNG SCIENTISTS ON PROBLEMS OF GEOLOGY AND SUBSURFACE DEVELOPMENT, 2016, 43
- [3] Web service-based framework for software development formal peer inspection [J]. IC'04: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON INTERNET COMPUTING, VOLS 1 AND 2, 2004, : 475 - 481
- [4] QP Based Framework for Development and Formal Verification of Flight Control Software of UAV [J]. ARTIFICIAL INTELLIGENCE AND COMPUTATIONAL INTELLIGENCE, PT I, 2011, 7002 : 1 - 8
- [5] A framework for the development of monitoring systems software [J]. ICSOFT 2006: Proceedings of the First International Conference on Software and Data Technologies, Vol 1, 2006, : 133 - 138
- [6] Monitoring-Based Framework to Detect and Manage Lead Water Service Lines [J]. JOURNAL AMERICAN WATER WORKS ASSOCIATION, 2016, 108 (11): : E555 - E570
- [7] Monitoring-based assessment of gap-analysis models [J]. SOUTHEASTERN NATURALIST, 2007, 6 (04) : 633 - 656
- [8] Integration of formal analysis into a model-based software development process [J]. FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, 2008, 4916 : 68 - +
- [10] Formal Probabilistic Analysis of a WSN-Based Monitoring Framework for IoT Applications [J]. FORMAL TECHNIQUES FOR SAFETY-CRITICAL SYSTEMS (FTSCS 2016), 2017, 694 : 93 - 108