DocumentCode
3126728
Title
COMPASS ´95. Proceedings of the Tenth Annual Conference on Computer Assurance
fYear
1995
fDate
25-29 June 1995
Abstract
The following topics were dealt with: testing; analysis and formal development of safety-critical systems; safety kernels; tools for tabular formal specification methods; application of formal methods; safety and security issues in developing and operating intelligent transportation; algorithms for critical systems; standards and processes for critical systems; and formal verification, design and documentation
Keywords
formal specification; formal verification; program testing; safety-critical software; security of data; software reliability; software standards; software tools; algorithms; computer assurance; design; documentation; formal development; formal verification; intelligent transportation; safety kernels; safety-critical systems; security; software tools; standards; tabular formal specification methods; testing;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Assurance, 1995. COMPASS '95. Systems Integrity, Software Safety and Process Security. Proceedings of the Tenth Annual Conference on
Conference_Location
Gaithersburg, MD, USA
Print_ISBN
0-7803-2680-2
Type
conf
DOI
10.1109/CMPASS.1995.521881
Filename
521881
Link To Document