日韩人妻中文字幕视频|被男友调教|香港三级日本三级|婷婷午夜激情|麻豆明星ai换脸视频|a影片|传媒麻豆|日本香港三级电影|99国产精品久久久|tk火影忍者,午夜精品久久久久久久91蜜桃,人人妻人人澡人人爽欧美一区,男女视频黄,小雪公交车灌满好爽h小说,99re在线只有精品,校花梦工厂

[1]李宣東,于戈.嵌入式系統軟件設計方法與技術專刊前言[J].軟件學報,2014,25(2):177-178.

[2]李宣東,鄭國梁.傳統程序設計語言的面向對象擴充的若干技術[J].軟件學報,1997,8(1):36-44.

[3]李宣東,劉超,毛曉光.安全攸關軟件系統建模與驗證專題前言[J].軟件學報,2015,26(2):179-180.

[4]李宣東,鄭國梁.型構兼容的繼承及其語義[J].計算機學報,1996,19(1):23-29.

[5]李宣東,鄭國梁.對Modula－2進行面向對象擴充[J].計算機學報,1996,19(1):30-35.

[6]李宣東,鄭國梁.一個Pascal的面向對象擴充的設計與實現[J].軟件學報,1996,7(1):9-15.

[7]李宣東,鄭國梁.廣義繼承及其在面向對象程序設計語言中的實現[J].軟件學報,1995,6(A01):187-193.

[8]李宣東.標準C^＋＋進展報告[J].微型計算機,1994,14(2):41-45.

[9]李宣東,譚文凱,等.Checkin MSC Specifications for Timing Inconsistency[J].計算機科學技術學報：英文版,2002,17(1):47-55.

[10]李宣東.Verifying Time Petri Nets by Linear Programming[J].計算機科學技術學報：英文版,2001,16(1):39-46.