[Lecture Notes in Computer Science] Formal Techniques in Real-Time and Fault-Tolerant Systems Volume 1486 || The ICOS synthesis environment
- 作者Ravn, Anders P.; Rischel, Hans
- 文件大小267.00KB
- 发表时间1998
- DOI10.1007/BFb0055356
- 页码294-297
同期刊推荐
Titanium for Non-Aerospace ApplicationsPeretti, Michael W. · JOM · 2012
MATERIALS RESOURCE CENTER:Positions AvailablePeretti, Michael W. · JOM · 2012
In the Final AnalysisPeretti, Michael W. · JOM · 2012
Your Member ConnectionDeneys, Adrian; Schlesinger, Mark; Battle, Tom; Davis, Boyd; Free, Mike · JOM · 2012
Meetings CalendarCardona, N.; Mackey, P. J.; Coursol, P.; Parada, R.; Parra, R. · JOM · 2012
Magnesium: Engineering the SurfaceChen, X. B.; Yang, H. Y.; Abbott, T. B.; Easton, M. A.; Birbilis, N. · JOM · 2012
Materials Resource Center:Positions AvailableBakshi, Srinivasa R.; Harimkar, Sandip P.; Agarwal, Arvind · JOM · 2012
Your Member ConnectionBakshi, Srinivasa R.; Harimkar, Sandip P.; Agarwal, Arvind · JOM · 2012