Safety Properties Ensured by the OASIS Model for Safety Critical Real-Time Systems
摘要：
The main focus of this paper is the problem of ensuring safety properties such as timeliness in safety critical systems. We introduce the OASIS model and its associated techniques to model both real-t
展开
会议名称：
International Conference on Computer Safety
会议时间：
10/05/1998
主办单位：
Springer-Verlag
被引量：
通过文献互助平台发起求助，成功后即可免费获取论文全文。
请先登入
相似文献
参考文献
引证文献
辅助模式
0
引用
文献可以批量引用啦~
欢迎点我试用！
