第 1 到 14 筆結果,共 14 筆。
公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 | |
---|---|---|---|---|---|---|---|
1 | 2006 | 複雜嵌入式系統的正規整合式發展技術架構(2/3) | 王凡 | ||||
2 | 2007 | 程式執行時間分析的新理論(2/3) | 王凡 | ||||
3 | 2004 | 混合系統的全符號式自動化分析軟體工具環境(2/3) | 王凡 | ||||
4 | 2003 | 混合系統的全符號式自動化分析軟體工具環境(1/3) | 王凡 | ||||
5 | 2004 | 即時系統全符號式驗證工具的底層基礎技術(3/3) | 王凡 | ||||
6 | 2003 | 即時系統全符號式驗證工具的底層基礎技術(2/3) | 王凡 | ||||
7 | 1993 | A Verifier for Distributed Real-Time Systems with Bounded Integer Variables | 王 凡; Mok, A. K.; Wang, Farn | COMPASS Conference | |||
8 | 1984 | Timing Behavior Analysis for Real-Time Systems | Wang, Farn | IEEE Symposium on Logic in Computer Science | |||
9 | 1995 | A Temporal Logic for Real-Time Partial-Ordering with Named Transactions | Wang, Farn | Latin American Theoretical Informatics Symposium | 0 | 0 | |
10 | 1993 | Symbolic Model-Checking for Distributed Real-Time Systems | 王 凡; Mok, A. K.; Emerson, E. A.; Wang, Farn | Formal Methods Europe Symposium | |||
11 | 1993 | Symbolic Model Checking for Event-Driven Real-Time Systems | 王 凡; Yang, J.; Mok, A. K.; Wang, Farn | 1993 IEEE Real-Time System | 23 | 22 | |
12 | 2016 | Preface | Sampaio, A.; FARN WANG | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | |||
13 | 1992 | Formal Specificatioin of Asynchronous Distributed Real-Time Systems by APTL | 王 凡; Mok, A. K.; Emerson, E. A.; Wang, Farn | International Conference on Software Engineering | |||
14 | 1992 | Asynchronous Real-Time Event Logic | 王 凡; Mok, A. K.; Wang, Farn | International Computer Symposium |