Security analysis of Tramel
暂无分享,去创建一个
[1] Scott Burleigh. ROME: distributing C++ object systems , 1993, IEEE Parallel & Distributed Technology: Systems & Applications.
[2] C. K. Ames,et al. An environment for incremental development of distributed extensible asynchronous real-time systems , 1996, Proceedings of the 4th International Workshop on Parallel and Distributed Real-Time Systems.
[3] Ann E. Kelley Sobel. Formal requirements specification analysis of attitude control of the International Space Station Alpha , 1998, Proceedings of the Thirty-First Hawaii International Conference on System Sciences.
[4] J. H. Lala,et al. Architectural principles for safety-critical real-time applications , 1994, Proc. IEEE.
[5] Ann E. Kelley Sobel. Applying an operational formal method throughout software engineering education , 1998, Inf. Softw. Technol..
[6] Nancy G. Leveson,et al. Completeness and Consistency in Hierarchical State-Based Requirements , 1996, IEEE Trans. Software Eng..
[7] David Lorge Parnas,et al. Tabular Representation of Relations , 1992 .