Search
Now showing items 1-2 of 2
Retrofitting of Composite Steel Beams Pre-Damaged in Flexure using Fiber Reinforced Polymers
(2015-05)
The demand for the use of carbon-fiber-reinforced polymer (CFRP) composite sheets and plates is exponentially increasing in the rehabilitation of deteriorating steel-concrete composite beams across the Globe. The aim of ...
Fault Coverage and Diagnosis of Protocols and Systems Modeled As Extended Finite State Machines
(2015-01)
Automatic test derivation from formal specifications offers a rigorous discipline to functional conformance testing. In various application domains, such as communication protocols and other reactive systems, the specification ...