The Second NASA Formal Methods Workshop 1992
Author :
Publisher :
Page : 248 pages
File Size : 48,67 MB
Release : 1992
Category :
ISBN :
Author :
Publisher :
Page : 248 pages
File Size : 48,67 MB
Release : 1992
Category :
ISBN :
Author :
Publisher :
Page : 122 pages
File Size : 36,81 MB
Release : 1993
Category : Aeronautics
ISBN :
Author :
Publisher :
Page : 212 pages
File Size : 11,1 MB
Release : 2000
Category : Automatic control
ISBN :
Author : Michel Banatre
Publisher : Springer Science & Business Media
Page : 332 pages
File Size : 50,22 MB
Release : 1994-02-28
Category : Computers
ISBN : 9783540577676
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.
Author :
Publisher :
Page : 134 pages
File Size : 10,73 MB
Release : 1993
Category : Aeronautics
ISBN :
Author : Alexander Nadel
Publisher : TU Wien Academic Press
Page : 332 pages
File Size : 26,88 MB
Release : 2023-10-13
Category : Computers
ISBN : 3854480601
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.
Author : Karin Breitman
Publisher : Springer Science & Business Media
Page : 770 pages
File Size : 26,27 MB
Release : 2009-11-17
Category : Computers
ISBN : 3642103723
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.
Author : United States. Superintendent of Documents
Publisher :
Page : 1068 pages
File Size : 20,54 MB
Release : 1993
Category : Government publications
ISBN :
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
Author : Cyrille Artho
Publisher : Springer
Page : 307 pages
File Size : 34,30 MB
Release : 2014-04-05
Category : Computers
ISBN : 3319054163
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.
Author :
Publisher :
Page : 232 pages
File Size : 17,67 MB
Release : 1993
Category : Aeronautics
ISBN :