发表于2024-11-23
Formal Modeling and Analysis of Timed Systems 时间系统的形式建模与分析/会议录 2024 pdf epub mobi 电子书
图书标签:
《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.)
Formal Modeling and Analysis of Timed Systems 时间系统的形式建模与分析/会议录 2024 pdf epub mobi 电子书