 |
R&S推出LTE連線測試的通訊測試儀 (2009.11.11)
LTE在未來幾年將會是通訊網路中重要的技術，R&S（羅德史瓦茲）是市場上最早提供LTE TDD與FDD 測試解決方案的廠商。R&S能夠提供完整的LTE信號產生與信號分析量測解決方案，針對不同的應用，可彈性選配所需的硬/體來滿足不同的量測需求 |
 |
為電子產品安全把關 (2009.04.30)
十九世紀末的美國，電器化為生活帶來極大的便利，但也因為當時的電線與電器設備品質不良，而引發一連串重大火災，造成嚴重的人命傷亡與財產損失。當時受託調查火災原因的梅瑞爾先生 |
 |
專訪：UL台灣區總經理湯家德 (2009.04.30)
十九世紀末的美國，電器化為生活帶來極大的便利，但也因為當時的電線與電器設備品質不良，而引發一連串重大火災，造成嚴重的人命傷亡與財產損失。當時受託調查火災原因的梅瑞爾先生 |
|
UL與LTL測試實驗室策略結盟 (2009.04.02)
全球產品安全測試及認證領域廠商UL(Underwriters Laboratories)，宣布與為照明產業提供光度測試報告的獨立組織Luminaire Testing Laboratory（LTL）展開策略結盟。此合作關係使UL成為第一個可為LED產品提供「能源之星」節能測試的國家認可測試實驗機構 |
 |
-LTL3 tools 0.0.3 (2008.07.17)
A collection of tools that can be used to generate monitors ("watchdogs") from LTL formulae. |
|
-ltl3tools 0.0.2 (2008.07.10)
A collection of tools that can be used to generate monitors ("watchdogs") for LTL formulae. |
|
-Triple-A 1.4.1 (2007.05.14)
Triple-A (Automatic Analysis with Automata) is a full-featured library for (finite) automata written in Java with two powerful analysis tools (dealing with LTL model checking and Presburger arithmetics) and a graphical user interface built around it |
|
-Triple-A 1.3 (2007.02.24)
Triple-A (Automatic Analysis with Automata) is a full-featured library for (finite) automata written in Java with two powerful analysis tools (dealing with LTL model checking and Presburger arithmetics) and a graphical user interface built around it |
|
-Triple-A triple-a-1.0 (2006.10.17)
Triple-A (Automatic Analysis with Automata) is a full-featured library for (finite) automata written in Java with two powerful analysis tools (dealing with LTL model checking and Presburger arithmetics) and a graphical user interface built around it |
|
Avant!提供SiberCore HerculesII作0.15微米IC設計的實體驗證 (2001.02.15)
日前Avant!(前達科技)發展出領先實體驗證產品市場的第二代Hercules，以進階的內容可定址記憶體(Content Addressable Memory, CAM)技術為基礎，為SiberCore完成0.15微米全晶片高效能的進階封裝轉送(Packet Forwarding Engine, PFE)方案 |
