๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

SPECS: Formal methods and techniques for telecommunications software development

โœ Scribed by Michel Dauphin

Publisher
Elsevier Science
Year
1992
Weight
430 KB
Volume
35
Category
Article
ISSN
0165-6074

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

New development of numerical methods for
New development of numerical methods for contact analysis with JIFEX software
โœ Yuan-Xian gu; Hong-Wu Zhang; Wan-Xie Zhong ๐Ÿ“‚ Article ๐Ÿ“… 1999 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 208 KB

The "nite element software JIFEX is developed with the application oriented concept for complex structures of general purpose engineering. The software integration of the "nite element analysis, structural design optimization, pre-and post-processing developed with advanced platform Windows 95/NT is

Development of a diagnosis technique for
Development of a diagnosis technique for failures of V-belts by a cross-spectrum method and a discriminant function approach
โœ Hajime Yamashina; Susumu Okumura; Isao Kawai ๐Ÿ“‚ Article ๐Ÿ“… 1996 ๐Ÿ› Springer US ๐ŸŒ English โš– 729 KB

This paper describes the development of a failure diagnosis technique for V-belts through vibration monitoring. The V-belt vibration is monitored at a driven bearing body attached to a power transmission device. Seven basic causes of belt failure and their combinations are considered. Power spectra