帳號:
密碼:
CTIMES / 王凡
科技
典故
電子工業改革與創新者 - IEEE

IEEE的創立,是在於主導電子學的地位、促進電子學的創新,與提供會員實質上的協助。
軟/硬體的正規(formal)驗證 (2003.03.05)
正規(formal)驗證(verification)技術,也就是用數學的符號,表達出系統設計的規格,從而減少工程師間錯誤溝通的可能性,進而提昇系統設計的品質,但國內工程界對這項新科技卻認知不深,採用的更少

  十大熱門新聞

AD

刊登廣告 新聞信箱 讀者信箱 著作權聲明 隱私權聲明 本站介紹

Copyright ©1999-2024 遠播資訊股份有限公司版權所有 Powered by O3
地址:台北市中山北路三段29號11樓 / 電話 (02)2585-5526 / E-Mail: webmaster@ctimes.com.tw