Runtime verification : 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 20

Runtime verification : 23rd International Conference RV 2023 Thessaloniki Greece October 3-6 20

出版社：Cham : Springer, 2023.,Cham, Switzerland : Springer, 2023.

ISBN：9783031442667

出版年：2023

作者：RV 2023

资源类型：图书

细分类型：中文文献,西文文献

1浏览量

问图书管理员

点赞

收藏

访问借阅管理系统

Discovery science : 23rd International Conference, DS 2020, Thessaloniki, Greece, October 19-21, 202

作者：DS 2020
ISBN：9783030615260
出版社：Cham, Switzerland : Springer, 2020.
出版年：2020

Runtime verification : 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 20

作者：RV 2020
ISBN：9783030605070
出版社：Cham, Switzerland : Springer, 2020.
出版年：2020

2016 23rd International Conference on Telecommunications (ICT 2016) : Thessaloniki, Greece, 16-18 Ma

作者：International Conference on Telecommunications
ISBN：9781509019915
出版社：Piscataway, N.J. : IEEE, 2016.
出版年：2016

Runtime verification : 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019,

作者：RV 2019
ISBN：9783030320782
出版社：Cham, Switzerland : Springer, 2019.
出版年：2019

Runtime verification : 21st international conference, RV 2021, virtual event, October 11-14, 2021 :

作者：RV 2021
ISBN：9783030884932
出版社：Cham : Springer, 2021.
出版年：2021

Runtime verification : 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016,

作者：RV 2016
ISBN：9783319469812
出版社：Cham, Switzerland : Springer, 2016.
出版年：2016