共 50 条
- [1] Contract-based interoperability for e-business transactions [J]. INTEROPERABILITY OF ENTERPRISE SOFTWARE AND APPLICATIONS, 2006, : 173 - +
- [3] A contract-based architecture for active objects in real-time [J]. 1ST AUSTRIAN-HUNGARIAN WORKSHOP ON DISTRIBUTED AND PARALLEL SYSTEMS, PROCEEDINGS, 1996, 1996 (09): : 77 - 82
- [4] Modular Architecture for Real-Time Contract-Based Framework [J]. 2009 IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL EMBEDDED SYSTEMS, 2009, : 66 - 69
- [5] Contract-Based Security Monitors for Service Oriented Software Architecture [J]. 2008 IEEE ASIA-PACIFIC SERVICES COMPUTING CONFERENCE, VOLS 1-3, PROCEEDINGS, 2008, : 1239 - 1245
- [6] Smart Contract-Based Access Control for the Vehicular Networks [J]. 2020 28TH INTERNATIONAL CONFERENCE ON SOFTWARE, TELECOMMUNICATIONS AND COMPUTER NETWORKS (SOFTCOM), 2020, : 264 - 269
- [7] Characterizing Contract-Based Multiagent Resource Allocation in Networks [J]. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS, 2010, 40 (03): : 575 - 586
- [9] Contract-Based Slicing [J]. LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, PT I, 2010, 6415 : 106 - 120
- [10] Contract-based testing [J]. FORMAL METHODS AT THE CROSSROADS: FROM PANACEA TO FOUNDATIONAL SUPPORT, 2003, 2757 : 34 - 48