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

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

[IEEE Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. - Tampa, FL, USA (25-26 March 2004)] Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. Proceedings. - Combining testing and model checking for verification of high assurance systems

[IEEE Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. - Tampa, FL, USA (25-26 March 2004)] Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. Proceedings. - Combining testing and model checking for verification of high assurance systems

Desovski, D.

作者Desovski, D.
文件大小243.55KB
发表时间2004
DOI10.1109/hase.2004.1281758
页码279-280

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