TNI軟件公司 是一家服務于航天航空、公共交通、能源電力、汽車制造和工業(yè)自動化領域的全球領先的軟件設計和校驗工具提供商。 公司背景 TNI軟件公司 隸屬于TNI­；；-Valiosys集團。集團是由3個公司合并而成。1、Valiosys：軟、硬件形式化校驗領域的專家；2、TNI：實時嵌入式軟件設計工具的主要提供者；3、TransEDA：半導體EDA覆蓋分析和校驗解決方案的業(yè)界領先者。 今天，TNI-Valiosys集團的產品遍布全球。集團在北美、歐洲、中國和日本設有辦事處，在中國（包括臺灣地區(qū)）、新加坡、韓國、澳大利亞、德國和意大利擁有分銷網(wǎng)絡。 請點擊 這里 查找你所在地區(qū)的業(yè)務代表。 產品與技術 TNI軟件公司先進的產品和技術來源于和TIMA、INRIA、CNRS、CNET等歐美頂尖實驗室長期合作的成果。同時公司還與CEA和空中客車等公司緊密合作，開發(fā)出多個旨在幫助提高軟件設計效率和質量的...