Y2000-62376-295 010102能够替代一阶逻辑的控制自然语言=Controlled natu-ral language can replace first-order logic[会,英]/Fuchs,N.E.& Schwertel,U.//The Fourteenth IEEE Inter-national Conference on Automated Software ...
详细信息
Y2000-62376-295 010102能够替代一阶逻辑的控制自然语言=Controlled natu-ral language can replace first-order logic[会,英]/Fuchs,N.E.& Schwertel,U.//The Fourteenth IEEE Inter-national Conference on Automated Software Engineering(Proceedings ASE 1999).—295～298(PC)
Y2002-63522-2875 0328955Taxys=Esterel+Kronos:验证嵌入式系统实时特性的工具=Taxys=Esterel+Kronos a tool for verifying real-time properties of embedded systems[会,英]/Bertin,V.& Closse,E.//2001 Proceedings of the 40t...
详细信息
Y2002-63522-2875 0328955Taxys=Esterel+Kronos:验证嵌入式系统实时特性的工具=Taxys=Esterel+Kronos a tool for verifying real-time properties of embedded systems[会,英]/Bertin,V.& Closse,E.//2001 Proceedings of the 40th IEEE Con-ference on Decision and Control,Vol.3 of 5.
Y98-61299-1684 9905135采用特殊函数的高速硬件描述语言模拟加速作用=VHDL simulation acceleration using specialized functions[会,英]/Ahn,T.& Choi,K.//1997 IEEE Interna-tional Symposium on Circuits and Systems,Vol.3.—...
详细信息
Y98-61299-1684 9905135采用特殊函数的高速硬件描述语言模拟加速作用=VHDL simulation acceleration using specialized functions[会,英]/Ahn,T.& Choi,K.//1997 IEEE Interna-tional Symposium on Circuits and Systems,Vol.3.—1684～1687(Ⅰ)
Y2001-62819 01215692000年 IEEE 面向目标语言与系统的技术国际会议录=2000 IEEE proceedings of 36th international confer-ence on technology of object-oriented Languages and sys-terns[会,英]/National Natural Science Founda...
详细信息
Y2001-62819 01215692000年 IEEE 面向目标语言与系统的技术国际会议录=2000 IEEE proceedings of 36th international confer-ence on technology of object-oriented Languages and sys-terns[会,英]/National Natural Science Foundation ofChina.—2000.—299P.(EC)
Y2002-63074-31 0207187有源万维网:万维网视图推导与存取控制用的以 XML为基础的有源规则=Active web:XML-based activerules for Web view derivations and access control[会,英]/Kiyorrdtsu,H.& Takeuc hi,A.//Proceedings ofth...
详细信息
Y2002-63074-31 0207187有源万维网:万维网视图推导与存取控制用的以 XML为基础的有源规则=Active web:XML-based activerules for Web view derivations and access control[会,英]/Kiyorrdtsu,H.& Takeuc hi,A.//Proceedings ofthe Workshop on Information Technology for Virtual En-
暂无评论