1. Feng Chia University Institutional Repository

瀏覽 的方式： 關鍵字 SpecTRM-RL

跳到： 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
或是輸入前幾個字：  
顯示 1 到 2 筆資料，總共 2 筆
題名作者日期
Constraint-based Software Specifications for Safety-critical ApplicationsWu, Chia-Kuo; Fan, Chin-Feng2006-10-11T07:57:04Z
延伸正規方法SpecTRM-RL以進行安全分析史龍安; 范金鳳2006-06-28T01:29:49Z
顯示 1 到 2 筆資料，總共 2 筆