共 50 条
[24]
The Modularity and Connectivity of the Master Structure of Complex Product Families
[J].
MACHINERY, MATERIALS SCIENCE AND ENGINEERING APPLICATIONS, PTS 1 AND 2,
2011, 228-229
:794-+
[25]
Modularity for Decidability of Deductive Verification with Applications to Distributed Systems
[J].
PROCEEDINGS OF THE 39TH ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION, PLDI 2018,
2018,
:662-677
[27]
Modularity for decidability of deductive verification with applications to distributed systems
[J].
ACM SIGPLAN Notices,
2018, 53 (04)
:662-677
[28]
Modularity and Configuration Applied to Product Integrating the IoT Technology
[J].
TRANSDISCIPLINARY ENGINEERING FOR COMPLEX SOCIO-TECHNICAL SYSTEMS - REAL-LIFE APPLICATIONS,
2020, 12
:602-611