共 50 条
- [32] Verifying and Validating Multi-layered Models with OWL FA Toolkit SEMANTIC WEB: RESEARCH AND APPLICATIONS, PT 2, PROCEEDINGS, 2010, 6089 : 391 - +
- [33] The SCR method for formally specifying, verifying, and validating requirements: Tool support PROCEEDINGS OF THE 1997 INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 1997, : 610 - 611
- [34] Directly Applied ORM Constraints for Validating and Verifying Semantic Decision Tables ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2011 WORKSHOPS, 2011, 7046 : 350 - 359
- [35] Building, Verifying and Validating a Collision Avoidance Model for Unmanned Aerial Vehicles PROCEEDINGS OF THE 16TH INTERNATIONAL SCIENTIFIC CONFERENCE RELIABILITY AND STATISTICS IN TRANSPORTATION AND COMMUNICATION (RELSTAT-2016), 2017, 178 : 155 - 161
- [39] Guideline assists laboratories and manufacturers in verifying and validating multiplex nucleic acid assays LABMEDICINE, 2008, 39 (08): : 461 - 462