Sage Journals: Discover world-class research

Open access

Research article

First published 2018-6

Cloud manufacturing service composition and formal verification based on extended process calculus

Yongxiang Li, Xifan Yao

Advances in Mechanical Engineering

Open access

Research article

First published 2013-5

Distributed Information Flow Verification Framework for the Composition of Service Chain in Wireless Sensor Network

Ning Xi, Jianfeng Ma, Cong Sun [...]

International Journal of Distributed Sensor Networks

Retricted access

Research article

First published 2026

Optimization and verification of layup angles of carbon fiber-resin composites for stress concentration mitigation

Jingguo Chen, Xinmin Shen, Jiaojiao Zhang [...]

Journal of Reinforced Plastics and Composites

Open access

Research article

First published 2024-11-07

Probabilistic risk analysis of local verification of Load Model 1 in Eurocode for Soil-Steel Composite bridges in Sweden

Johan Lagerkvist, Carlos Gil Berrocal, Fredrik Carlsson [...]

Bridge Structures

Retricted access

Research article

First published 1992-12

Numerical Verification of a Procedure for Calculation of Elastic Constants in Microcracking Composite Laminates

Peter Gudmundson, Sören Östlund

Journal of Composite Materials

Retricted access

Research article

First published 2025-11

Electric-driven shape memory deformation control and verification of composite films based on PVA/WPU/SCFs

Liulan Lin, Chenchen Fan, Haodong Zhang [...]

Journal of Reinforced Plastics and Composites

Retricted access

Research article

First published 2014-2

Thermodynamic analysis and experimental verification of interface reactions of iron aluminide/tetragonal zirconia composite

J. Li, Y. Li, R. Ma [...]

Advances in Applied Ceramics: Structural,Functional and Bioceramics

Retricted access

Research article

First published 2004-12

Comparison of MCT Failure Prediction Techniques and Experimental Verification for Biaxially Loaded Glass Fabric-reinforced Composite Laminates

Jeffry S. Welsh, J. Steve Mayes, Christopher T. Key [...]

Journal of Composite Materials

Retricted access

Research article

First published 2011-2

Design and Verification of a Non-linear Black-Box Model for Ionic Polymer Metal Composite Actuators

Dinh Quang Truong, Kyoung Kwan Ahn

Journal of Intelligent Material Systems and Structures

Retricted access

Research article

First published 2015-7

Verifying layered security protocols

Thomas Gibson-Robinson, Allaa Kamil, Gavin Lowe

Journal of Computer Security

Search results