中文版 | English

在结果中检索

Arid

浏览/检索结果: 共2条，第1-2条 帮助

已选(0)清除 条数/页：   排序方式：
Safety properties ensured by the OASIS model for safety critical real-time systems 会议论文
会议名称: 17th International Conference on Computer Safety, Reliability and Security (SAFECOMP 98). 会议地点: HEIDELBERG, GERMANY. 会议日期: OCT 05-07, 1998
作者:  David, V;  Delcoigne, J;  Leret, E;  Ourghanlian, A;  Hilsenkopf, P;  Paris, P
收藏  |  浏览/下载：5/0  |  提交时间：2019/12/07
Safety properties ensured by the OASIS model for safety critical real-time systems 期刊论文
发表期刊: COMPUTER SAFETY, RELIABILITY AND SECURITY. 出版年: 1998, 卷号: 1516, 页码: 45-59
作者:  David, V;  Delcoigne, J;  Leret, E;  Ourghanlian, A;  Hilsenkopf, P;  Paris, P
收藏  |  浏览/下载：8/0  |  提交时间：2019/11/28