A platform for research: civil engineering, architecture and urbanism
A platform for research: civil engineering, architecture and urbanism
An Approach to Constructing Verified Software
An Approach to Constructing Verified Software
An Approach to Constructing Verified Software
Harwood, K. (author) / Lindsay, P. (author) / Matthews, R. (author) / Gupta, G.
17th Annual computer science conference, ACSC-17 ; 1994 ; Christchurch; New Zealand
1994-01-01
10 pages
In 3 pts
Conference paper
English
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
A New Nonslender Ringing Load Approach Verified Against Experiments
| Online Contents | 1998
A Verified and Efficient Approach Towards Fatigue Validation of Safety Parts
| British Library Online Contents | 2011
De Saint-Venant Equations Experimentally Verified
| ASCE | 2021
Major Junction Structure Verified by Modeling
| ASCE | 2021
A Verified Model for Harbor Entrance Sedimentation
| British Library Conference Proceedings | 1993