Download or read book Ordnance Computer Research Report written by and published by . This book was released on 1956 with total page 306 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Ordnance Computer Newsletter written by and published by . This book was released on 1954 with total page 252 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Technical Report of the American Ordnance Association written by American Ordnance Association and published by . This book was released on 1973 with total page 388 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book U S Government Research Reports written by and published by . This book was released on 1964 with total page 306 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book An Analysis of Ordnance Software Using the MALPAS Tools written by K. J. Hayman and published by . This book was released on 1989 with total page 23 pages. Available in PDF, EPUB and Kindle. Book excerpt: THE INCREASING USE OF SOFTWARE IN SYSTEMS WHERE A FAILURE ENDANGERS HUMAN LIFE IS CREATING AN AWARENESS OF THE NEED FOR CAREFUL VERIFICATION OF THE CORRECT FUNCTIONING OF SUCH SOFTWARE. In this light, an analysis was made of the software to control a 'smart' ordnance device, by applying the MALPAS static analysis package. This report presents the results of the analysis, both as they relate to the specific software being analysed and more generally in terms of the experience and insight gained into the application of static analysis techniques to the verification of real-time software. Two significant safety related flaws were detected during the analysis, one in the software itself and the other in the specification of the device. Comparisons are also made between the findings of the analysis and currently proposed standards for writing safety-critical software. Keywords: MAIPAS computer program; Computer program verification; Electric fuzes ordnance; Computer program reliability; Safing and arming ordnance; Time delay fuzes; EXDET fuzes. Australia. (edc).
Download or read book Catalog of Technical Reports written by United States. Dept. of Commerce. Office of Technical Services and published by . This book was released on with total page 742 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Operating Characteristics of Reeves Analog Computing Equipment written by Elmer D. Fullenwider and published by . This book was released on 1952 with total page 58 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Scientific and Technical Aerospace Reports written by and published by . This book was released on 1973 with total page 882 pages. Available in PDF, EPUB and Kindle. Book excerpt: Lists citations with abstracts for aerospace related reports obtained from world wide sources and announces documents that have recently been entered into the NASA Scientific and Technical Information Database.
Download or read book Indiana University Libraries Bloomington Serials Holdings 1985 written by Indiana University. Libraries and published by . This book was released on 1985 with total page 1200 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book The Industrial Reorganization Act The computer industry written by United States. Congress. Senate. Committee on the Judiciary. Subcommittee on Antitrust and Monopoly and published by . This book was released on 1973 with total page 1090 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Index to PB Reports Listed in U S Government Research Reports written by and published by . This book was released on 1953 with total page 1150 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book The Origins of Digital Computers written by Brian Randell and published by Springer Science & Business Media. This book was released on 1982-07 with total page 614 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Coden for Periodical Titles Periodical titles by title written by Wyandotte-ASTM Punched Card Project and published by . This book was released on 1966 with total page 600 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Final report written by E. G. Volterra and published by . This book was released on 1957 with total page 16 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Who s who in Computer Education and Research written by T. C. Hsiao and published by . This book was released on 1975 with total page 340 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Directory of Computer Education and Research Faculty and research staff written by T. C. Hsiao and published by . This book was released on 1973 with total page 340 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Naval Research Logistics Quarterly written by and published by . This book was released on 1965 with total page 986 pages. Available in PDF, EPUB and Kindle. Book excerpt:
