唐稚松 唐稚鬆
당치송
2008년 基于SCC空性检测中状态空间的缩减方法 基于SCC空性檢測中狀態空間的縮減方法 기우SCC공성검측중상태공간적축감방법
2006년 有限精度时间自动机的可达性检测 有限精度時間自動機的可達性檢測 유한정도시간자동궤적가체성검측
2006년 Statecharts的组合语义与求精 Statecharts的組閤語義與求精 Statecharts적조합어의여구정
2005년 UML活动图的时序逻辑语义 UML活動圖的時序邏輯語義 UML활동도적시서라집어의
2004년 读者荐诗 讀者薦詩 독자천시
2003년 反应系统的连续时序逻辑表示和验证 反應繫統的連續時序邏輯錶示和驗證 반응계통적련속시서라집표시화험증
2003년 三机冗余容错系统的描述和验证 三機冗餘容錯繫統的描述和驗證 삼궤용여용착계통적묘술화험증
2003년 XYZ/E面向对象程序语义概述 XYZ/E麵嚮對象程序語義概述 XYZ/E면향대상정서어의개술
2003년 基于时序逻辑的软件体系结构描述语言XYZ/ADL 基于時序邏輯的軟件體繫結構描述語言XYZ/ADL 기우시서라집적연건체계결구묘술어언XYZ/ADL
2002년 "尊德行而道问学" "尊德行而道問學" "존덕행이도문학"