共 50 条
- [42] Understanding and using archaeological topographic surveys - The "error conspiracy" COMPUTING ARCHAEOLOGY FOR UNDERSTANDING THE PAST, PROCEEDINGS: COMPUTER APPLICATIONS AND QUANTITATIVE METHODS IN ARCHAEOLOGY, 2001, S931 : 19 - 23
- [46] Component contract-based formal specification technique COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2005, PT 3, 2005, 3482 : 836 - 845
- [47] COMMENTS ON PLATE CORRECTION GRAVIMETRIC SURVEYS TRANSACTIONS-AMERICAN GEOPHYSICAL UNION, 1977, 58 (06): : 373 - 373
- [48] CROME: Contract-Based Robotic Mission Specification 2020 18TH ACM-IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR SYSTEM DESIGN (MEMOCODE), 2020, : 81 - 91
- [50] A Contract-Based Formalism for the Specification of Heterogeneous Systems 2008 FORUM ON SPECIFICATION, VERIFICATION AND DESIGN LANGUAGES, 2008, : 166 - +