Late discovery of design errors is responsible for the very high cost of many computer-based information systems. Poor documentation of interfaces and poor quality of implementation is responsible for very high failure rates of even well-designed systems. Formal methods promise to relieve some of th
✦ LIBER ✦
Control system safety interlocks—Design and implementation
✍ Scribed by Victor J. Maggioli; William H. Johnson Jr.
- Publisher
- Elsevier Science
- Year
- 1993
- Tongue
- English
- Weight
- 360 KB
- Volume
- 32
- Category
- Article
- ISSN
- 0019-0578
No coin nor oath required. For personal study only.
📜 SIMILAR VOLUMES
Formal methods in system design and impl
✍
Bernard Sufrin
📂
Article
📅
1989
🏛
Elsevier Science
🌐
English
⚖ 708 KB
Design and implementation of groundwater
✍
Elton, R. L. ;Schipper, M. ;Cooper, M. W. ;Kent, R. T.
📂
Article
📅
1985
🏛
American Institute of Chemical Engineers
🌐
English
⚖ 616 KB
Architecture, design, and implementation
✍
Anna Hać; Dongchen Lu
📂
Article
📅
1997
🏛
John Wiley and Sons
🌐
English
⚖ 485 KB
👁 2 views
In this article a new multimedia conference system is designed and implemented which allows a group of users to conduct a meeting in real time. Participants can jointly view and edit relevant multimedia information, including text, graphics, and still images distributed throughout the network.
A role-based infrastructure management s
✍
Dongwan Shin; Gail-Joon Ahn; Sangrae Cho; Seunghun Jin
📂
Article
📅
2004
🏛
John Wiley and Sons
🌐
English
⚖ 621 KB
Design, implementation and evaluation of
✍
H. Howie Huang; Andrew S. Grimshaw
📂
Article
📅
2010
🏛
John Wiley and Sons
🌐
English
⚖ 896 KB
Applied digital control—Theory, design a
✍
Job van Amerongen
📂
Article
📅
1994
🏛
Elsevier Science
🌐
English
⚖ 242 KB