《Formal Modeling and Analysis of Timed Systems》:he LCS series reprs sae-f-he-ar resuls i cmpuer sciece research, develpme, ad educai, a a high level ad i bh pried ad elecric frm. Ejyig igh cperai wih he RD cmmuiy,wih umerus idividuals, as well as wih presigius rgaizais ad scieies, LCS has grw i he ms cmprehesive cmpuer sciece research frum available.
he scpe f LCS, icludig is subseries LAI ad LBI, spas he whle rage f cmpuer sciece ad ifrmai echlgy icludig ierdiscipliary pics i a variey f applicai fields. he ype f maerial published radiially icludes.
-prceedigs (published i ime fr he respecive cferece)
-ps-prceedigs (csisig f hrughly revised fial full papers)
-research mgraphs (which may be based usadig PhD wrk,research prjecs, echical reprs, ec.)
發表於2024-11-27
Formal Modeling and Analysis of Timed Systems 時間係統的形式建模與分析/會議錄 2024 pdf epub mobi 電子書 下載
圖書標籤:
Formal Modeling and Analysis of Timed Systems 時間係統的形式建模與分析/會議錄 2024 pdf epub mobi 電子書 下載