Formal Techniques for Distributed Objects, Components, and Systems(Programming and Software Engineering)

分布式对象、组件与系统的形式化技术:第41届 IFIP WG 6.1 - FORTE 国际会议 2021 作为第16届分布式计算技术国际联合会会议的1部分举行 / 会议录

自动控制技术

原   价:
553.00
售   价:
442.00
优惠
平台大促 低至8折优惠
发货周期:通常付款后3-5周到货!
出  版 社
出版时间
2021年06月10日
装      帧
平装
ISBN
9783030780883
复制
开      本
9.21 x 6.14 x 0.55
语      种
英文
综合评分
暂无评分
我 要 买
- +
库存 30 本
  • 图书详情
  • 目次
  • 买家须知
  • 书评(0)
  • 权威书评(0)
图书简介
This book conTTTesThe refereed proceedings ofThe 41T IFIP WG 6.1 ITernTional Conference on FormalTechniques for DiTribTed ObjeTs, ComponeTs, and SyTems, FOTE 2021, held in VallTta, MaTa, in June 2021, as paT ofThe 1Th ITernTional FederTed Conference on DiTribTed CompTingTechniques, DisCTec 2021The 9 regular papers and 4 shoT papers preseTed were carefully reviewed and seleTed from 26 submissions.They coverTopics such as: soTware qualTy, reliabilTy, availabilTy, and safTy; securTy, privacy, andTruT in diTribTed and/or communicTing syTems; service-orieTed, ubiquTous, and cloud compTing syTems; componeT-and model-based design; objeTTechnology, modularTy, and soTware adaTTion; self-TabilisTion and self-healing/organising; and verificTion, validTion, formal analysis, andTeTing ofThe above.DueToThe Corona pandemicThis eveT was held viTually.
本书暂无推荐
本书暂无推荐
看了又看
  • 上一个
  • 下一个