共 50 条
- [31] Model-Based Testing and the UML Testing Profile SEMANTICS AND ALGEBRAIC SPECIFICATION: ESSAYS DEDICATED TO PETER D. MOSSES ON THE OCCASION OF HIS 60TH BIRTHDAY, 2009, 5700 : 315 - 328
- [32] Data Synchronization for Model-Based Process Monitoring 17TH MACHINING INNOVATIONS CONFERENCE FOR AEROSPACE INDUSTRY (MIC 2017), 2017, 14 : 136 - 142
- [33] Feature optimization via simulated search for model-based heart segmentation CARS 2005: Computer Assisted Radiology and Surgery, 2005, 1281 : 33 - 38
- [34] Model-Based Mutation Testing of Real-Time Systems via Model Checking 2018 IEEE 11TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW), 2018, : 59 - 68
- [35] Acute maternal exercise during the third trimester of pregnancy, influence on foetal heart rate RICYDE-REVISTA INTERNACIONAL DE CIENCIAS DEL DEPORTE, 2008, 4 (13): : 33 - 43
- [36] Classification of foetal heart rate sequences based on fractal features Medical and Biological Engineering and Computing, 1998, 36 : 197 - 201
- [38] Multiple Analyses, Requirements Once: Simplifying Testing and Verification in Automotive Model-Based Development FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, FMICS 2019, 2019, 11687 : 59 - 75
- [39] Assessing Software Product Line Testing via Model-based Mutation: An Application to Similarity Testing IEEE SIXTH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW 2013), 2013, : 188 - 197