共 50 条
[23]
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
[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-+
[26]
Modularity for decidability of deductive verification with applications to distributed systems
[J].
2018, Association for Computing Machinery, 2 Penn Plaza, Suite 701, New York, NY 10121-0701, United States (53)
:662-677
[27]
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