共 50 条
- [42] A CONTRACT-BASED APPROACH TO IMPROVING AUTOMATIC TEST GENERATOR INFORMATION TECHNOLOGIES' 2011, 2011, : 133 - 140
- [43] Contract-based formal specification of safety critical systems Proceedings of the 29th Annual International Computer Software and Applications Conference, Workshops and Fast Abstracts, 2005, : 7 - 8
- [44] Contract-based Predictive Control for Modularity in Hierarchical Systems IFAC PAPERSONLINE, 2018, 51 (20): : 499 - 504
- [45] Contract-based load management in federated distributed systems USENIX ASSOCIATION PROCEEDINGS OF THE FIRST SYMPOSIUM ON NETWORKED SYSTEMS DESIGN AND IMPLEMENTATION (NSDI'04), 2004, : 197 - 210
- [46] Optimal Security Charging Service for Electric Vehicles by Mobile Charging Stations: Dynamic Contract-based Approach PROCEEDINGS OF THE 33RD CHINESE CONTROL AND DECISION CONFERENCE (CCDC 2021), 2021, : 4627 - 4632
- [47] Contract-Based Revenue Recognition JOURNAL OF CORPORATE ACCOUNTING AND FINANCE, 2009, 20 (05): : 77 - 81
- [48] Contract-based Approach for Security Deposit in Blockchain Networks with Shards 2019 IEEE INTERNATIONAL CONFERENCE ON BLOCKCHAIN (BLOCKCHAIN 2019), 2019, : 75 - 82
- [49] Contract-Based Verification of Model Transformations: A Formally Founded Approach 36TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, SAC 2021, 2021, : 1559 - 1568
- [50] A contract-based approach of resource-constrained software deployment COMPONENT DEPLOYMENT, 2002, 2370 : 15 - 30