Download or read book The Second NASA Formal Methods Workshop 1992 written by and published by . This book was released on 1992 with total page 248 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Fourth NASA Langley Formal Methods Workshop written by and published by . This book was released on 1995 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book 4th NASA Langley Formal Methods Workshop written by and published by . This book was released on 1997 with total page 214 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Monthly Catalogue United States Public Documents written by and published by . This book was released on 1995 with total page 1994 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book NASA Scientific and Technical Publications A Catalog of Special Publications Reference Publications Conference Publications and Technical Papers 1991 1992 written by and published by . This book was released on 1993 with total page 122 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Lfm2000 written by and published by . This book was released on 2000 with total page 212 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Third NASA Langley Formal Methods Workshop written by and published by . This book was released on 1995 with total page 274 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Hardware and Software Architectures for Fault Tolerance written by Michel Banatre and published by Springer Science & Business Media. This book was released on 1994-02-28 with total page 332 pages. Available in PDF, EPUB and Kindle. Book excerpt: Fault tolerance has been an active research area for many years. This volume presents papers from a workshop held in 1993 where a small number of key researchers and practitioners in the area met to discuss the experiences of industrial practitioners, to provide a perspective on the state of the art of fault tolerance research, to determine whether the subject is becoming mature, and to learn from the experiences so far in order to identify what might be important research topics for the coming years. The workshop provided a more intimate environment for discussions and presentations than usual at conferences. The papers in the volume were presented at the workshop, then updated and revised to reflect what was learned at the workshop.

Download or read book NASA Scientific and Technical Publications written by and published by . This book was released on 1993 with total page 134 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book PROCEEDINGS OF THE 23RD CONFERENCE ON FORMAL METHODS IN COMPUTER AIDED DESIGN FMCAD 2023 written by Alexander Nadel and published by TU Wien Academic Press. This book was released on 2023-10-13 with total page 332 pages. Available in PDF, EPUB and Kindle. Book excerpt: The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD covers formal aspects of computer-aided system testing.

Download or read book Scientific and Technical Aerospace Reports written by and published by . This book was released on 1995 with total page 440 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Formal Methods and Software Engineering written by Karin Breitman and published by Springer Science & Business Media. This book was released on 2009-11-17 with total page 770 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 11th International Conference on Formal Engineering Methods, ICFEM 2009, held in Rio de Janeiro, Brazil, December 2009. The 36 revised full papers together with two invited talks presented were carefully reviewed and selected from 121 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on Testing, Protocols, verification, model checking, object-orientation, event-b, compilation, process algebra, refinement, algebraic specifications and real-time systems.

Download or read book Monthly Catalog of United States Government Publications written by United States. Superintendent of Documents and published by . This book was released on 1993 with total page 1068 pages. Available in PDF, EPUB and Kindle. Book excerpt: February issue includes Appendix entitled Directory of United States Government periodicals and subscription publications; September issue includes List of depository libraries; June and December issues include semiannual index

Download or read book Formal Techniques for Safety Critical Systems written by Cyrille Artho and published by Springer. This book was released on 2014-04-05 with total page 307 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the Second International Workshop, FTSCS 2013, held in Queenstown, New Zealand, in October 2013. The 17 revised full papers presented together with an invited talk were carefully reviewed and selected from 32 submissions. The papers address various topics related to the application of formal and semi-formal methods to improve the quality of safety-critical computer systems.

Download or read book NASA SP written by and published by . This book was released on 1993 with total page 232 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book NASA Formal Methods written by Guillaume Brat and published by Springer. This book was released on 2013-05-09 with total page 504 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 5th International Symposium on NASA Formal Methods, NFM 2013, held in Moffett Field, CA, USA, in May 2013. The 28 revised regular papers presented together with 9 short papers talks were carefully reviewed and selected from 99 submissions. The topics are organized in topical sections on model checking; applications of formal methods; complex systems; static analysis; symbolic execution; requirements and specifications; probabilistic and statistical analysis; and theorem proving.

Download or read book Monthly Catalog of United States Government Publications written by and published by . This book was released on 1995 with total page 1096 pages. Available in PDF, EPUB and Kindle. Book excerpt: