书目名称 | Safe Comp 96 | 副标题 | The 15th Internation | 编辑 | Erwin Schoitsch | 视频video | | 图书封面 |  | 描述 | SAFECOMP ‘96 contains papers presented at the 15th International Conference on Computer Safety, Reliability and Security held in Vienna, Austria, 23-25 October 1996. The conference aimed to provide an opportunity for technical developers and users to discuss and review their experiences, to consider the best technologies currently available, and to identify the skills and technologies required for the future. SAFECOMP ‘96 focuses on critical computer applications and is intended as a platform for technology transfer between academia, industry and research institutions. SAFECOMP ‘96 will be of interest to all those in universities, research institutions, industry and business who want to be well-informed about the current international state of the art in computer safety, reliability and security. | 出版日期 | Conference proceedings 1997 | 关键词 | Interface; authentication; classification; computer; design; formal method; formal specification; formal ve | 版次 | 1 | doi | https://doi.org/10.1007/978-1-4471-0937-2 | isbn_softcover | 978-3-540-76070-2 | isbn_ebook | 978-1-4471-0937-2 | copyright | Springer-Verlag London Limited 1997 |
The information of publication is updating
|
|