发现好书期刊，享受阅读乐趣

海量图书期刊资源，随时随地畅享阅读乐趣

[IEEE Comput. Soc 1999 Pacific Rim International Symposium on Dependable Computing - Hong Kong (16-17 Dec. 1999)] Proceedings 1999 Pacific Rim International Symposium on Dependable Computing - Enhancing dependability via parameterized refinement

[IEEE Comput. Soc 1999 Pacific Rim International Symposium on Dependable Computing - Hong Kong (16-17 Dec. 1999)] Proceedings 1999 Pacific Rim International Symposium on Dependable Computing - Enhancing dependability via parameterized refinement

Troubitsyna, E.A.

作者Troubitsyna, E.A.
文件大小156.22KB
发表时间1999
DOI10.1109/prdc.1999.816221
页码120-127

← 返回【学霸图书馆】主页