2018年度雁棲湖會(huì)議:談大數(shù)據(jù)時(shí)代軟件自動(dòng)化
【2018年度雁棲湖會(huì)議:談大數(shù)據(jù)時(shí)代軟件自動(dòng)化】林惠民目前擔(dān)任中國(guó)科學(xué)院軟件研究所教授及學(xué)術(shù)委員會(huì)主任。他于1999年當(dāng)選為中國(guó)科學(xué)院院士。 林教授的研究方向包括:并發(fā),模型檢查和形式化方法。報(bào)告題目:程序自動(dòng)化報(bào)告摘要...#程序自動(dòng)化#
背景信息:@自動(dòng)化網(wǎng)官方微博由中國(guó)科學(xué)院學(xué)部和北京市政府聯(lián)合舉辦的2018年度雁棲湖會(huì)議11日在北京懷柔開(kāi)幕。這次會(huì)議由中國(guó)科學(xué)院院士、北京理工大學(xué)教授梅宏?duì)款^組織,以“大數(shù)據(jù)時(shí)代軟件自動(dòng)化的機(jī)遇和挑戰(zhàn)”為主題,#軟件自動(dòng)化##大數(shù)據(jù)與自動(dòng)化#
背景信息:@自動(dòng)化網(wǎng)官方微博由中國(guó)科學(xué)院學(xué)部和北京市政府聯(lián)合舉辦的2018年度雁棲湖會(huì)議11日在北京懷柔開(kāi)幕。這次會(huì)議由中國(guó)科學(xué)院院士、北京理工大學(xué)教授梅宏?duì)款^組織,以“大數(shù)據(jù)時(shí)代軟件自動(dòng)化的機(jī)遇和挑戰(zhàn)”為主題,#軟件自動(dòng)化##大數(shù)據(jù)與自動(dòng)化#
咨詢?cè)斍椋?/strong>如需咨詢文中涉及的相關(guān)產(chǎn)品或解決方案詳情,請(qǐng)加微信:ZiDongHuaX 。
微信聯(lián)盟:軟件自動(dòng)化微信群、大數(shù)據(jù)與自動(dòng)化微信群,各細(xì)分行業(yè)微信群:點(diǎn)擊這里進(jìn)入。
鴻達(dá)安視:水文水利在線監(jiān)測(cè)儀器、智慧農(nóng)業(yè)在線監(jiān)測(cè)儀器 金葉儀器: 氣體/顆粒物/煙塵在線監(jiān)測(cè)解決方案
西凱昂:SMC氣動(dòng)元件、力士樂(lè)液壓元件、倍加福光電產(chǎn)品等 山東諾方: 顆粒物傳感器、粉塵濃度傳感器
深圳金瑞銘:RFID射頻識(shí)別、智能傳感器等物聯(lián)網(wǎng)解決方案 北京英諾艾智: 容錯(cuò)服務(wù)器、邊緣計(jì)算解決方案
微信聯(lián)盟:軟件自動(dòng)化微信群、大數(shù)據(jù)與自動(dòng)化微信群,各細(xì)分行業(yè)微信群:點(diǎn)擊這里進(jìn)入。
鴻達(dá)安視:水文水利在線監(jiān)測(cè)儀器、智慧農(nóng)業(yè)在線監(jiān)測(cè)儀器 金葉儀器: 氣體/顆粒物/煙塵在線監(jiān)測(cè)解決方案
西凱昂:SMC氣動(dòng)元件、力士樂(lè)液壓元件、倍加福光電產(chǎn)品等 山東諾方: 顆粒物傳感器、粉塵濃度傳感器
深圳金瑞銘:RFID射頻識(shí)別、智能傳感器等物聯(lián)網(wǎng)解決方案 北京英諾艾智: 容錯(cuò)服務(wù)器、邊緣計(jì)算解決方案
我要收藏
個(gè)贊
評(píng)論排行